add phony "all" target to various Holmakefiles

to recreate the default behaviour of Holmake after recent changes in HOL
make it only build the first target in the Holmakefile if one exists
(and it often does for us: the HOLHEAP).