gitk: add a filtertag CLI switch