Installation of the GMP-2.0.2 library

  Clean's ExtendedArith library needs an archive file "gmp.a". Simply
  type

    ./make.bat

  This will generate the desired file.
