bump version number (Rodin 2 release including backport of PROBPLUGIN-102)