Fix travis

And add badge.