updated link to zip file
Refactored "modelChecking" into "Measurements"
updated link
corrected quick start with new commands
refactored model checking
quick-start: updated link
quick-start: corrected json output example
quick-start: adjusted input parameter -iLE according to MINERful last update
new script and related quick start page
ZIP link updated
grammar check on quickstart
quickstart improvements
insert TOC
qucistart page initialized