Change version to 0.9.3.1 (with "pre") in preparation for release.