MIT license -> BSD License
copied the unmodified official Metis 2.3 (15 Sept. 2010) sources into Isabelle
update scripts
The Metis prover (slightly modified version from Larry);