Added debug flag in Makefile
Merge branch 'SMACK-hanno'

Conflicts:
	examples/SMACK/Makefile
Switched to gcc-4.8
Merge branch 'SMACK-hanno'

Conflicts:
	examples/SMACK/Makefile