Fix travis config. Add travis badge.