Remove OSPROGS machinery
We haven't had any OS-specific programs for a while, and can pull this machinery back out of the VCS history if we ever need it again.