Replace 'print' with Holmake's output functions

Make KERNELID var get its proper value in Holmake

Issue was that Poly/ML evaluates many things at compile time rather than
run-time.

Give HM_BaseEnv a signature