diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit