Ignore button is not top priority IMO as we don't really have that many trolls on the forum so far. If that picks up, I would like to see an ignore button sooner rather than later.
For those wanting an ignore button just to ignore spammers, I think it's better to still be able to see spammers posts and report them vs ignoring them. If you'd rather not be a reporter then just ignore them IMO.