check_files.pl: plugin version 0.4, cleanup of docuentation after merging Pattricks's pull request with file size checking options