Updated install.py for Boolector
Updated install.py for Boolector

Signed-off-by: MikAnd <401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com>

pysmt/pysmt,pysmt/pysmt,agriggio/pysmt,agriggio/pysmt,chubbymaggie/pysmt,chubbymaggie/pysmt