Make travis test for axiom dependence

Now travis will enforce the convention that nothing in the library
should depend on FunextAxiom or UnivalenceAxiom.