Docker as a development environment