added option in llvm2bpl.py for enabling the executable smack tool instead of loading the dynamic library to opt