Version bump to 3.1.18

This is neccessary because the commit:
a0883f36

Has a very large impact on bug reports. We need to have our
users check easily if they have that commit or not.
2 jobs for master in 17 minutes and 2 seconds (queued for 12 seconds)