Marathon: making the marathon.html site configurable for different sites via CMake