Bump version to 3.1.13

1 job for master in 1 minute and 5 seconds (queued for 3 seconds)