Adding Travis-CI badge

Since we went to the trouble...