Version change

Version number change to make upgrades from previous versions possible,
due to MMT <-> Maven incompatibilities.