Add DEPLOY-VERSION to .gitignore
Always push HEAD to develop and master
New release v0.4.12.1