A little investigation into clingo output revealed that it won't contain
newlines, and spaces in strings can be filtered using a simple RE.
Parsing (the bottleneck before) is now *much* faster.

-Peter Mawhorter