holomaze: do away with the menu texture, instead generating the menu procedurally.

This has the disadvantage that it depends on X font names on the
server.  Currently it has gallant.r.19 hardwired. :-(