add Dockerfile

belated PR