Merge pull request #174 from tschottdorf/master

let CircleCI push deploy image to Docker on master