version bump in order to prepare for rodin 3.1 release