Add an is_cofix tactic

Should we also add is_* tactics for other things?  is_rel, is_meta,
is_sort, is_cast, is_prod, is_lambda, is_letin, is_app, is_const,
is_ind, is_constructor, is_case, is_proj?

If you prefer patches that don't remove trailing spaces, I can edit this patch to do that.