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

Send prover errors back with spans instead of ANSI
Stop encoding prover messages as output