Add trunk revision number on the online HTML docs.

Patch by Vassil Vassilev.
PR13435