Automate new version release via Jenkins
Bump to 1.12.0