Add new options and simplify the script (#7) * Add ignore-external-files option * Fix typo * Use correct bash syntax * Simplify script and add ignore-header-deps option * Disable additional logging * Use correct way to check what file already checked