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
[ja] Follow bc3be19a, add afterValidate, code layout change.
Merge pull request #1023 from suzuki/feature/ja-follow-bc3be19a-and-others

[ja] Follow bc3be19a, add afterValidate, code layout change.
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