How to install boolector on Debian 9 (Stretch)