Dockerfile for creating a tiny gitolite server.