Travis badge. Fixes #2.