Increment version to 00.06 after Papyrus-ERTMSFormalSpecs-Eclipse review