Add new installation description for debian 7
Merge branch 'master' of https://github.com/nicolas-fricke/semmul2013-group1