cvs commit: hugs98/libraries/tools config.in convert_libraries hugs-package.in