Dockerfile

This Dockerfile allows to easily build docker images for Tempo. I did not test everything in depth, but it should mostly work, including the websocket server. See the updated README for instructions on building and using the image.

It will also be automatically used on Stage1, so no need for any configuration on Stage1 anymore!