CMakeLists.txt: Document GATSAN option