Various version number tweaks.
Bumped SBT version to 0.13.7-M3; reenabled name hashing.