Add owner map to better manage QuantifiersModules.  Initial infrastructure for cegqi.