move Nitpick files from "PLAIN_DEPENDENCIES" to "MAIN_DEPENDENCIES", where they belong

--- a/src/HOL/IsaMakefile	Fri May 14 15:02:38 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri May 14 15:07:53 2010 +0200
@@ -154,7 +154,6 @@
   Inductive.thy \
   Lattices.thy \
   Nat.thy \
-  Nitpick.thy \
   Option.thy \
   Orderings.thy \
   Plain.thy \
@@ -197,22 +196,6 @@
   Tools/Function/size.ML \
   Tools/Function/sum_tree.ML \
   Tools/Function/termination.ML \
-  Tools/Nitpick/kodkod.ML \
-  Tools/Nitpick/kodkod_sat.ML \
-  Tools/Nitpick/minipick.ML \
-  Tools/Nitpick/nitpick.ML \
-  Tools/Nitpick/nitpick_hol.ML \
-  Tools/Nitpick/nitpick_isar.ML \
-  Tools/Nitpick/nitpick_kodkod.ML \
-  Tools/Nitpick/nitpick_model.ML \
-  Tools/Nitpick/nitpick_mono.ML \
-  Tools/Nitpick/nitpick_nut.ML \
-  Tools/Nitpick/nitpick_peephole.ML \
-  Tools/Nitpick/nitpick_preproc.ML \
-  Tools/Nitpick/nitpick_rep.ML \
-  Tools/Nitpick/nitpick_scope.ML \
-  Tools/Nitpick/nitpick_tests.ML \
-  Tools/Nitpick/nitpick_util.ML \
   Tools/inductive_codegen.ML \
   Tools/inductive.ML \
   Tools/inductive_realizer.ML \
@@ -262,6 +245,7 @@
   Map.thy \
   Nat_Numeral.thy \
   Nat_Transfer.thy \
+  Nitpick.thy \
   Numeral_Simprocs.thy \
   Presburger.thy \
   Predicate_Compile.thy \
@@ -291,6 +275,22 @@
   Tools/list_code.ML \
   Tools/meson.ML \
   Tools/nat_numeral_simprocs.ML \
+  Tools/Nitpick/kodkod.ML \
+  Tools/Nitpick/kodkod_sat.ML \
+  Tools/Nitpick/minipick.ML \
+  Tools/Nitpick/nitpick.ML \
+  Tools/Nitpick/nitpick_hol.ML \
+  Tools/Nitpick/nitpick_isar.ML \
+  Tools/Nitpick/nitpick_kodkod.ML \
+  Tools/Nitpick/nitpick_model.ML \
+  Tools/Nitpick/nitpick_mono.ML \
+  Tools/Nitpick/nitpick_nut.ML \
+  Tools/Nitpick/nitpick_peephole.ML \
+  Tools/Nitpick/nitpick_preproc.ML \
+  Tools/Nitpick/nitpick_rep.ML \
+  Tools/Nitpick/nitpick_scope.ML \
+  Tools/Nitpick/nitpick_tests.ML \
+  Tools/Nitpick/nitpick_util.ML \
   Tools/numeral.ML \
   Tools/numeral_simprocs.ML \
   Tools/numeral_syntax.ML \