Dockerfile for development environment