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