Added read_binary(), for reading in binary files.