Recent versions of Clang's CPP choke on '#-}' if in the correct position to parse as a preprocessing directive. 

This fixes building on OSX with Xcode.

x86_64-apple-darwin14: clang-3.5, cabal 1.16.0.2, ghc 7.6.3
Switched to using cpphs for preprocessing Haskell files.
Builds under OSX 10.10 with Xcode; agda --test succeeds.

Agda.cabal:
- Added cpphs as a build-tool
- Changed ghc-options to use cpphs --cpp as the Haskell source preprocessor. (cpphs without --cpp doesn't like the other build options.)

mk/config.mk.in:
- Added `-pgmPcpphs -optP--cpp` to GHC_FLAGS

README.md:
- Reformatted and swapped installation and prerequisite order
- Added cpphs to dependencies; added a note on how to use to compile dependencies installed by cabal
- Removed extremely outdated Windows Emacs advice; replaced with a link to Aaron Stump's precompiled version
Merge pull request #3 from coruus/fix-build-osx

Fix building on systems with non-traditional CPPs (including OSX)
[ configure.ac ] Added check for cpphs.
[ Agda.cabal ] Added upper-bound for cpphs.
Fixed typo.
Added .mailmap file.

In the migration from Darcs to GitHub, we lost some information about
the authors. The information from Git commands,
e.g. git shortlog -nse, is better by using this file. The creation of
this file was based on the .authorspellings Darcs file.

Note: In the Darcs repository, Nils Anders Danielsson and Dominique
Devriese had 1479 and 73 patches, respectively; but in the master
branch of the GitHub repository, they only have 1471 and 72 commits,
respectively. I couldn't fix it.
Merge branch 'maint-2.4.0'
[ issue619 ] allow quote in patterns
[ issue619 ] release notes
[ issue619 ] test case
[ issue619 ] fixed pretty printing of quote in patterns
[ issue619 ] test case for quote pretty printing
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite
[ emacs ] Fixed bug in Conor colour mode
Merge branch 'emacs-colors'
[ issue619 ] print literal QNames as "quote x" also in terms
[ Agda.cabal ] Added documentation for CPP flags
[ Agda.cabal ] The Agda executable doesn't use CPP
Replacing the linear search in modifyNamedScope.