Merge branch 'release-0.9.2' into develop
Bumped version number.
Fixed buggy Z3 model parsing.
+ Reading maps from SI-generated models.
Bumped version number to 0.9.3
Merge branch 'release-0.9.3'