Push Docker tags for releases

[nigredo-tori]

Having stable identifiers that can be traced to a particular commit would allow the users (including me) to set up services that won't break on pull. This can be achieved using automated builds on Dockerhub, by setting up a build rule for Git tags.