Add dockerfile

[augustjohansson]

Here's a dockerfile one can start with. To use it one does something like

cd docker
docker build . --tag=bernaise
cd ..
docker run -ti --name bernaise -v $(pwd):/home/fenics/shared bernaise

One can remove the container by docker rm bernaise