Bump version to 3.1.17

The accessibility improvements are finished for now and there
were several new features that should be distinguished.
2 jobs for master in 14 minutes and 41 seconds (queued for 63 minutes and 52 seconds)