Fix version number; actually 3.1 now; moving to new version number scheme

Version number scheme no longer progresses by 0.5 only, even if it was just a minor update