Forgotten headers in CMakeLists

Some headers were not listed in the CMakeLists, which made working with IDEs kind of annoying.