Insert a check for unsupported Clingo.

[iensen]

When an unsupported version of clingo is used (<=5), Sparc should produce an error.
Some code needs to be added in ClingoSolver.java.