add jsonrpc formula and --with-jsonrpc option, update faucet patch