tentative travis conf stolen from HoTT book