Migrate to Scala 2.13

Created by: mario-bucev

Note: targets the master branch this time. -Upgrade Princess to 2020-03-12 -Upgrade ScalaZ3 to 4.7.1 (except for Windows)