Merge branch 'feature/report' into development
Merge branch 'development' into feature/notes_about_references
Updated the README to properly describe how the report is generated.
Minor updates to the README.
Merge branch 'fix/readme' into development
Added "A Tutorial on UPPAAL 4.0"
Updated "Applying uml and patterns" reference.
Merge branch 'feature/notes_about_references' into development
Merge branch 'development' into feature/report