Add missing tool to build new boolector version
Add missing tool to build new boolector version

Signed-off-by: Christian Mösl <bc51a302924cbde6e491a40689cdc6c36509c7d0@live.at>

cksystemsteaching/selfie,ChristianMoesl/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie