Several finishing touches on inline-boogie.
* Avoiding redundant Boogie program declarations.
* Refactoring for SmackRep::arg, SmackRep::call, SmackRep::code, SmackRep::proc.
Merge branch 'inline-boogie' of github.com:smackers/smack into inline-boogie