Add badge for travis ci