etc: added \M model
gitignore: added .DS_Store
A1.4a,b,d: Solved execises, waiting confirmation
Merge branch 'master' of https://github.com/kalhauge/model-checking-report