chore(travis): update DREALREPO secure key to point dreal/dreal