jsonrpc -> json_rpc
compiler: java: removing redundant code in Document._save_to_dir
lib/java: more protocol refactoring
compiler: java: start of GWT JSON-RPC client
fleshed out GwtJsonRpcClientJavaGenerator, untested