Re: `error' needs `progname' module

[Paul Eggert]

It's a little tricky, since error doesn't need all of progname, just the 
one variable.  I expect we need a stripped-down module just for that.