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);