adding Dockerfile

For Docker-based development/deployment. Merge if you wish!