Add travis badge; fix travis config.