Remove old travis-ci badge.