v3.1

• Add support for co-safe probabilistic LTL on STPGs/SMGs
• Add switch -lpscalefactor for LPs in zero-sum model checking
• Allow use of Yices for CSG equilibria computation (-smtsolver yices)
• Merged latest changes from PRISM (up to v4.7) and extensions:
  • reporting of model checking accuracy for STPGs/SMGs
  • model auto-detection for TPTGs
• Various bugfixes + tidying