s2e.h: fixed incorrect register in s2e_read()

Fixing the style to match the other functions is left for later.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
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>
build: Introduce consistent naming scheme for compile/configure targets

This will help in refactoring the target recipes.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Introduce a pattern rule for configuration targets

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