Merge pull request #228 from david-christiansen/master

Match the default REPL highlighting for implicits
Don't fail when command line opts not found
Fix synchronous loading in the presence of subdirs and .ipkg files
Merge pull request #233 from david-christiansen/fix-loading

Fix loading with .ipkg files
Update keyword list to contain all tactics
Add "proof" and "tactics"
Implicit arg kwds
Fix highlighting of "let"
Merge pull request #234 from david-christiansen/kwd-updats

Better highlighting of keywords
Add LIDR-aware delete command

Fixes #235, and makes editing .lidr files much more pleasant.
Merge pull request #236 from david-christiansen/issue/235

Add LIDR-aware delete command
cleanup makefile - stick to GNU make for now
also remove ibc in test-data
renamed compile to build
actually, test does not depend on build (we can test with .el files)
Merge pull request #238 from hannesm/janitor

cleanup makefile - stick to GNU make for now
support for protocol version message from server side ; also install hooks earlier
provide boilerplate for socket communication

addresses #149 , #65 , #21
Remove socket connection on idris-quit
Allow spans in prover errors

Right now, they are ignored - but this is better than ANSI codes.
only ask once, and keep process and connection in sync