get_machine_id function

Return the machine ID for the current computer.