Draft: Make CMake setup independent of conan

Right now, our CMake setup explicitly depends on conan: package names of dependencies are referred to as CONAN_PKG::eigen and alike in CMakeLists.txt. Nowadays this is no longer necessary. With some tweaks to conan, they can be found by CMake using only standard options, so that CMake becomes independent of how the dependencies have been installed.