Bump version to 3.15.3.1

Gah, missed a gnome-shell change that broke several extensions ...