Remove --re-interval AWK argument from all filters.

Don't know from where this got in; it's not relevant here, and Hruby
Vladimir reported on the Todo.txt mailing list that his system doesn't
support it.