Adjust build of holfoot tools to buildheap workflow

Fix Poly build of holfoot tools given changes to quote filter

Also make the Holmakefile test the holfoot tool against the automatic
examples.

Get holfoot executables to build given change to quotation filter

Not clear to me if these holfoot executables are tested once built,
but they do now at least build.

holfoot: tweaks to building binaries

- turn printing on again after loading "holfoot.state"
- include path for loading state in header.sml

Revise holfoot executable generation to use polyc

This makes things simpler on the whole I think and lets us not have to
worry about shared libraries and their locations.