feat(bin/dReach): remove the use of --short-sat by default

We have a case where the use of `--short-sat` option degenerates
performance. From now on, if you want to use `--short-sat`, please pass
it as a dReal option by adding it to the end of command-line arguments.

chore(CMakeLists.txt): bump version to 3.16.09

feat(util/automaton.cpp): automaton class

chore(CMakeLists.txt): bump version to 3.16.08

chore(CMakeLists.txt): bump version to 3.16.06.03

chore(CMakeLists.txt): bump to version 3.16.06.02

chore(CMakeLists.txt): bump to 3.16.06.01

chore(CMakeLists.txt): bump to 3.16.06

chore(CMakeLists.txt): bump to 3.16.05.05

fix(CMakeLists.txt): add -Wno-sign-compare compiler flags for lexer g…

…enerated files

See https://stackoverflow.com/questions/35689072/yyless-triggers-signed-comparison-warning-when-generated-scanner-is-compiled-wit