add clingo support
Merge branch 'master' of https://github.com/iensen/sparc

Conflicts:
	User_Manual/Sparc_Manual.pdf
	User_Manual/Sparc_Manual.tex.backup