Post-release version bump to 3.13.1