disabled precompiled headers

sorry jenkins for that ;)
Merge branch 'master' into fix/disablePrecompiledHeaders

Conflicts:
	CMakeLists.txt
Merge pull request #8 from ethz-asl/fix/disablePrecompiledHeaders

disabled precompiled headers