Send prover errors back with spans instead of ANSI

This requires an update to clients to allow an optional span list on
prover errors.
Merge pull request #3 from david-christiansen/ideslave-socket

Send prover errors back with spans instead of ANSI