Also add badge for travis ci