build: Refactor stp configuration flags.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Enable cryptominisat also for asan stp build.

Signed-off-by: Diego Biurrun <diego@biurrun.de>