bugfixes, added Dockerfile for building docker images manually
This tag has no release notes.