Add 'Improve this Doc' button for GitHub edit
Use pale blue button
Use the 'release' global variable to indicate the git branch
Flip release and version values
Add 'cakebranch' extension to dynamically inject branch name
Restore version number
Move branch definition into all.py
Merge pull request #1016 from bcrowe/feature-docEditButton

Add 'Improve this Doc' button for GitHub edit