Remote GHCi: Optimize the serialization/deserialization of byte code