reactivated whole Coq compilation for Travis
reactivated whole Coq compilation for Travis

palmskog/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,palmskog/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,palmskog/verdi