Bump version to 1.2.13
Tweak INSTALL instructions.