With the last commit (aef3ffd69a1ae0306439c793d547588e70c4db71), I
forgot to actually commit the changes made to get sphinx to work
with our python sources. Sphinx's html output (make html) is included,
nonetheless.
This commit includes all those changes described in the last one, and the
results of an ambitious attempt to clean things up. Ontology resources
and test codes are now in a directory of their own.