Test-case illustrating a current bug in Holmake

Holmake at the top of (a clean) indepchildren tree will fail to build
ultimateTheory because dir2Theory will not load, not having the
correct dependency on baseTheory recorded in its .uo file.

Not in the build sequence because I don't have a fix for it yet.