Now that travis is fixed, restore travis badge and update comments.