Version bump to 3.1.18

This is neccessary because the commit:
a0883f369a6558990011f706444e53b373b68d8d

Has a very large impact on bug reports. We need to have our
users check easily if they have that commit or not.