Add trivial HTTP server which serves proofs