reasoning: Decouple reasoning engines from core mmint (2)

 * Add indendent feature for Z3 installation