Add a WebUI to look at and delete pushed metrics.

This is still served from local files. Embedding those files into the
binary will follow.