Add travis-ci badge, and try to fix travis config