patch applied (hugs98): drop --with-runhugs argument to Setup

Wed Aug 29 08:40:58 PDT 2007 Ross Paterson * drop --with-runhugs argument to Setup M ./libraries/tools/convert_libraries -1 +1