New feature: run the server in a Docker container