boogied: add some http endpoints for dispatch and output

In addition to the RPC endpoints for the clients, we now also expose
HTTP POST endpoints so that non-Go clients can communicate with the
server.  The only tweak is that because the stdout and stderr fields
can contain arbitrary binary data, they are encoded with base64.