Fix the heading size for the generated pages using markdown.
[ci skip]
For Travis CI - minor refactor to use the same commit-ish as Travis-CI.
Simplify build artifact housekeeping logic as now all the mirror CI branches will produce the same package description as the master branch.
[ci package]
For Travis CI - switch CI build to use Android build environment.