Add badge for travis ci.