chore(travis): update secure tokens to migrate to dreal/dreal
chore(cmake): add -DSTATIC option to build static binary