clasp 2.1.1

This pull request adds a formula for clasp, an answer set solver for (extended) normal logic programs. More information about clasp can be found at http://potassco.sourceforge.net/.

This formula also supports building clasp with multithread support. It can be installed with `brew install clasp --with-mt`.