reasoning: Decouple reasoning engines from core mmint (13)

 * Allow selection of default reasoners per language
 * Switch mmint settings to Eclipse preferences
 * Add name to reasoners extension point