paper concordance
Merge branch 'master' of github.com:larskotthoff/recomputation-ss-paper

Conflicts:
	SummerSchoolPaper/Makefile
merge
some text on obstacles
Merge branch 'master' of github.com:larskotthoff/recomputation-ss-paper