add proofalytics travis mode
add proofalytics travis mode

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