Build process no branching

Supersedes #997.

"Implementation in Jenkins" will definitely change, but the "Versioning" and "Git branching and tagging" sections are essentially at what I would consider a "final draft" stage.