add some documentation how to use docker for development

using docker simplifies a lot of things. It can be used for development
as well as in production environments.