new Metis version
new version of Metis 2.3 (29 Dec. 2010)
MIT license -> BSD License
copied the unmodified official Metis 2.3 (15 Sept. 2010) sources into Isabelle
make "metis.ML" building process slightly more robust by eliminating the need for "FILES"; instead, query the original "Makefile"