Docker based development environment