Summary
- proper document source;
- simplified / unified isatest settings;
- tuned signature;
- discontinued old 'header';
- more official "isabelle check_sources";
- removed pointless "isabelle yxml";
- moved getopts to Scala;
- moved getopts to Scala;
- obsolete;
- obsolete;
- moved getopts to Scala;
- moved getopts to Scala;
- tuned;
- just one File.find_files, based on Java 7 Files operations;