Update Dockerfile, add Docker instructions