Allow build to skip building solvers.

Currently building kodkod also builds all the solvers.
This pull request adds a --no-solvers flag to the waf options that skips building the solvers.

Reviewers: @mhyee @joseph2625 @AtulanZaman