Addon to #87: After merging, update the version.

Once the settings have been merged, they're considered updated.
The version string should reflect this so we don't need to do this
more than once.
Merge tag 'v1.3.1' into calref

cadence 1.3.1

Emergency patch for the text color issue, along with all
the 1.4 stuff that has been added so far.