Adding Dockerfile for quick builds. TODOS: evaluate which image to use; configure remote server; determine all relevant packages