stp build changes

Enabling cryptominisat only for the non-asan case looked like an oversight in the llvm 3.2 porting effort.

This also refactors the stp configuration flags to avoid code duplication.