Commit of version 1.0.2

This commit was produced by unzipping the contents of FMUChecker-1.0.2-src.zip
into the working directory and committing all differences (compared to
FMUChecker-1.0.1-src.zip).