Changed default output file name of smack tool to a.bpl. Also minor fix to llvm2bpl to work with smack tool.