make clean should not remove SKIP files

Add new make target 'distclean' that removes files created by configure.

SKIP files are created by configure for instance if configured  --without-javac.  They should only be removed if one has to reconfigure, otherwise   'make clean; make' breaks.