Travis badge, README tweaks