Fixing travis config and adding badge