set PATH for the regression test

also tweak regression test to fail if it can't execute heapname (which
would be evidence that HOL's bin directory isn't in the path or HOL
isn't built).