Yices2 download is too large, remove these directories and re-compress:

- doc
- etc
- debian
- examples

Required to build cudd, poly, gmp, yices:

- autoconf
- clang/gcc
- clang++/g++
- make
- cmake
- ld
- ar
- strip
- gperf

- libm
- libpthread