Dockerfile and docker instructions

rebased from #11