Merge pull request #91 from david-christiansen/master

Add support for new-style docstrings and new dangerous constructs in font-lock
Merge pull request #93 from david-christiansen/master

Code cleanup + minor highlighting fix
Merge pull request #94 from david-christiansen/master

Add 'implicit' to keywords
Since March 10th 2014 (commit 7437ebe5052250630ca52117dd50dbf3187807d5) - Idris 0.9.11.2
WARNING is of form (filename (startline startcolumn) (endline endcolumn) message &optional highlighting-spans)

Deal with it in a backwards-compatible way
Merge pull request #96 from hannesm/fix-source-location-warnings

Since March 10th 2014 (commit 7437ebe5052250630ca52117dd50dbf3187807d5) ...