Merge pull request #511 from ethercrow/remove-cocoa-ui

Remove abandoned Cocoa UI.
Remove README mentions of Cocoa that #511 missed
Accept unspaced comment syntax for de-toggle
Define comment syntax for Python
Remove cocoa mentions from Makefile and example configs.
Remember a comma. Pfft.
…and order the record properly
Rename lazy to lazy' to avoid lens name clash

It seems to have been added since 4.0.
Style only
Revert "Style only"

This reverts commit 328da20fac8825f99e3170e6619bdaa10923426d.

NoMonomorphismRestriction apparently
Ask travis to use GHC-7.8.1.
Refactor VimBinding type.

It boils down to this:

- prereq :: EventString -> VimState -> MatchResult ()
- action :: EventString -> m RepeatToken

+ binding :: EventString -> VimState -> MatchResult (m RepeatToken)

It's now impossible to accidentally pass different eventstrings to
consecutive prereq and action calls. Not that it happened before.

Also many lines like

  error "can't happen, because we already checked that in prereq"

are no longer necessary.