Travis notifies the #firedrake Freenode IRC channel