* removed obsolete xsexternal_error target
* "fetching ..." echos
replaced singular repo on GitHub by a fork that contains a fix for the gmp problem
new gitignore