add TravisCI badge.