Fix mybinder environment

Moving Dockerfile into Docker dir fixes the mybinder env issues: mybinder does not find this Dockerfile (which was not intended for mybinder) and thus uses the PythonBuildPack, which is much faster than building a docker container anyway.

The docker container for external users is still built as before.