add Dockerfile, random fixes