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

Wed Aug 29 08:40:58 PDT 2007 Ross Paterson <ross@soi.city.ac.uk> * drop --with-runhugs argument to Setup M ./libraries/tools/convert_libraries -1 +1