Binder fixed

Author: TristanAllaire

.dockerignore

@@ -10,6 +10,7 @@
 
 # Add code
 !src
+!binder
 
 # Ignore caches
 **/.mypy_cache

binder/Dockerfile

@@ -21,7 +21,7 @@ RUN adduser --disabled-password \
     --uid ${NB_UID} \
     ${NB_USER}
 
-RUN cp /tmp/pymavryk/binder/*.ipynb ${HOME}/
+COPY binder/*.ipynb ${HOME}/
 RUN chown -R ${NB_USER}:${NB_USER} ${HOME}/
 
 WORKDIR ${HOME}