Build port improvements

For those who are working on projects on our build port, a few prog-related
code improvements were recently made there. See the note on the main
noteboard there for more details.

If you aren't working on a project there, but are interested in building for
the Realms of Despair, see the "build" and "build port" helpfiles for more
information on how to get started.