Fix Travis tests.
Add Travis badge.