Merge pull request #2 from david-christiansen/ideslave-socket

Remove all the handle arguments
load input properly, as requested by @Melvar
move getNChar and getLen to IdeSlave
read from handle rather than stdin
Send prover errors back with spans instead of ANSI

This requires an update to clients to allow an optional span list on
prover errors.