Fix Travis-CI build, add badge