implement frontend of -i/--ignore-case option of apt-file