[ Agda.cabal ] Added documentation for CPP flags
[ Agda.cabal ] The Agda executable doesn't use CPP
Replacing the linear search in modifyNamedScope.
Merge pull request #4 from favonia/speedup1

Replacing the linear search in modifyNamedScope.
Merge branch 'master', remote-tracking branch 'upstream/master'