Add "--ignore-case" option for <patterns>