disable travis for now (proof doesn't work with coq 8.3)