Add Travis badge, formatting