* Draft of dockerfile

* Add missing parts for the Docker image

* Finish docker support

* Fix linting, add doc