Holmakefile in top hol directory facilitates build of everything
Fix breakage introduced by b3260c2
cleanup: remove redundant definition of dsimp utility