update travis statistics url for stefan