Bump dash.el’s version to 2.4.0
Bump Evil’s version to 1.0.8
Bump ProofGeneral to latest devel version.

I guess El-Get fixed the PG build? I don't remember why I
removed the `:build/darwin` instruction.
Rename nrepl.el to CIDER, bump to 0.4.0
Bump SmartParens’s version to 1.6.1

Also, since strict-mode is now present, let's not use MELPA.
(so this sorta reverts 172032f16016d8625500aaac8925ee0206bd141f)
Bump Haskell-mode’s version to 13.10
Use Postgres.app’s binaries; add them to $PATH.

(the alternative is using Homebrew’s PostgreSQL via
`brew install postgres`. I don’t have anything against Homebrew; I just
want to see how far I get by embracing the app.)

I’m following [the documentation](http://postgresapp.com/documentation#toc_1).