[ Agda.cabal ] Added documentation for CPP flags
[ Agda.cabal ] The Agda executable doesn't use CPP