bash completion: difftool accepts the same options as diff