Fix building on systems with non-traditional CPPs (including OSX)

a81a7dc fixes a typo in src/full/Agda/Compiler/JS/Syntax.hs that breaks building completely if Clang's cpp is used.

943ea3c changes Agda.cabal and mk/config.mk.in to use cpphs by default for GHC's CPP extension. This should fix build failures in preprocessing on all systems whose C preprocessor behaves non-traditionally by default. (It also reformats README.md and drops the outdated Windows Emacs advice in favor to a link to the binaries built by Aaron Stump.)
This enables using cpphs as the preprocessor. See http://projects.haskell.org/cpphs/ for the details. (This is desirable because Idris won't build on Unices that ship with a 'modern' cpp; Haskell needs the 'traditional' cpp behavior. Haskell packages that use the CPP extension, in general, need to move to cpphs, because this is increasingly common.)