[ Agda.cabal ] Updated deprecated extensions field to other-extensions

The CPP language extension is needed for cabal haddock (see
Agda.cabal).