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