patch applied (hugs98): use new --configure-option option to setup configure

Tue Jul 24 04:41:41 PDT 2007 Ross Paterson * use new --configure-option option to setup configure M ./libraries/tools/convert_libraries -1 +1