Decouple version from weiyu, and...

... make use of newly-available shortcuts in weiyu.

Also, revision color bar is reworked, and now contains 2 bars indicating
both weiyu and luohua's running commit.
Merge branch 'version-decouple'