[cvs-nhc98] patch applied (nhc98): remove the --strip option from cpphs when preprocessing for nhc98

Mon Jun 25 02:51:35 PDT 2007 Malcolm.Wallace@cs.york.ac.uk * remove the --strip option from cpphs when preprocessing for nhc98 M ./script/nhc98.inst -1 +1