bump version to 3.1.13
NEWS updated
dist files for 3.1.13
Merge branch 'release/3.1.13' into develop