some docs

including a working docker setup for running the server with `sudo` as non-root.