initial commit for the clingo based interface
Merge branch 'master' of github.com:utexas-bwi/bwi_experimental