Fixed an issue related to overriding '-o' option in SMACK tool, which was causing an exception to be thrown on OpenSUSE.
The exception was:
CommandLine Error: Option 'o' registered more than once!

The fix is to introduce '-bpl' for specifying output Boogie files instead of '-o'.