Install: add mcl to install file
Merge branch 'master' of https://github.com/nicolas-fricke/semmul2013-group1
Install: add preprocessing to installation script
Merge branch 'master' of https://github.com/nicolas-fricke/semmul2013-group1
Merge branch 'master' of https://github.com/nicolas-fricke/semmul2013-group1
Merge branch 'master' of https://github.com/nicolas-fricke/semmul2013-group1
Paper: revise chapter 5
merged conflict in chapter 5 solved