minor cleanups from Jens Petersen:
minor cleanups from Jens Petersen:

	(Prefix): No longer defined.
	(%prep): %setup quietly.
	No longer need to compress manual by hand.
	Only build the html version of the user guide.

also removed the redundant --with-fptools option to configure.

FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs,FranklinChen/Hugs