doc(README.md): use dreal/dreal for scan.coverity

[skip ci]