What hapened to binary releases? #352

dReal-3.16.09.01-linux
├── bin
│   ├── bmc_main.native
│   ├── dOp
│   ├── dReach
│   └── dReal
├── include
│   └── dreal
│       ├── dreal.h
│       ├── dreal_c.h
│       ├── dreal_config.h
│       └── dreal_control.h
└── lib
    ├── dreal
    │   ├── dreal-config-version.cmake
    │   ├── dreal-config.cmake
    │   ├── libClp.a
    │   ├── libClp.la
    │   ├── libClpSolver.a
    │   ├── libClpSolver.la
    │   ├── libCoinUtils.a
    │   ├── libCoinUtils.la
    │   ├── libOsi.a
    │   ├── libOsi.la
    │   ├── libOsiClp.a
    │   ├── libOsiClp.la
    │   ├── libOsiCommonTests.a
    │   ├── libOsiCommonTests.la
    │   ├── libadept.a
    │   ├── libadept.la
    │   ├── libcapd.a
    │   ├── libcapd.la
    │   ├── libdop.a
    │   ├── libdreal.a
    │   ├── libglpk.a
    │   ├── libglpk.la
    │   ├── libibex.a
    │   ├── libnlopt.a
    │   ├── libnlopt.la
    │   ├── libpicosat.a
    │   ├── libprim.a
    │   └── libprim.la
    └── pkgconfig
        └── dreal.pc

dreal3-3.16.09.01
├── AUTHORS
├── CONTRIBUTING.md
├── COPYING
├── Dockerfile
├── LICENSE
├── README.md
├── bin
│   └── dReach
├── doc
│   ├── commit_convention.md
│   ├── generate_static_bmc_binary.md
│   ├── ode-visualization.md
│   ├── osx-gcc.md
│   ├── ubuntu-clang.md
│   ├── ubuntu-gcc.md
│   └── windows-docker.md
├── dockerbuild
│   ├── Dockerfile
│   └── build.sh
├── scripts
│   ├── README.md
│   ├── basic_examples.cpp
│   ├── bench.cpp
│   ├── control_examples.cpp
│   ├── ea.cpp
│   ├── lyp_test.cpp
│   └── test.cpp
├── src
│   | ...
│   │ ...
│
├── tools
│   | ...