Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems