adjust TravisCI badge.