NEWS fastsimp -> fastforce

--- a/NEWS	Mon Sep 12 07:55:43 2011 +0200
+++ b/NEWS	Mon Sep 12 09:07:23 2011 +0200
@@ -170,6 +170,9 @@
 
 * Declare ext [intro] by default.  Rare INCOMPATIBILITY.
 
+* The misleading name fastsimp has been renamed to fastforce,
+  but fastsimp is still available as a legacy feature.
+
 * Nitpick:
   - Added "need" and "total_consts" options.
   - Reintroduced "show_skolems" option by popular demand.