python read binary data from stdin