Added new dump_extensional version, which dumps a subset of an
ontology based on the class hierarchy. (Actually this is a poor man's verson of components, that doesn't depend on the source, which we never were able to manage correctly.)
Authored by: dwarren 2016-04-05
Parent: [r8667]
Child: [r8669]
