minor changes to dockerignore...