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