CMake stuff for chilitags and chilitags-demo