Add Jenkinsfile
Move the 1.12.2 bookmark location out of the config folder (#3115)
Add a 1.12.2 config for the position of new bookmarks (#3114)