Added travis-ci badges.