Add Travis status badge, some other minor tweaks