added travis tags to termination and eventually matchers