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
Merge pull request #240 from idris-hackers/socket

Socket
Place abandoned proofs on kill ring

This allows proofs to be "restarted" by opening the prover again,
yanking the proof script, and advancing through the steps.

Fixes #241.
Put idris-process into comint
Merge pull request #242 from david-christiansen/issue/241

Place abandoned proofs on kill ring
Run idris-process in comint

This does the following:

1. Put the idris process buffer in Comint mode
2. Arrange for the port number to not show up
3. Pop to the buffer when something is output to it, as it will
otherwise cause things to block from time to time
Fix warning
Merge pull request #243 from david-christiansen/issue/21

Make :x and type providers work conveniently
remove compatibility for old Idris versions
revert usage of (endline endcolumn)