Enable modular resolution/preprocessing of Boogie programs

[keyboardDrummer]

To enable cached compilation by downstream compilers, enable constructing a Boogie program that partially consists out of already resolved declarations, and where only the unresolved declarations need to spend time re-resolving.

There is no need to change Boogie the language by for example adding modules to the language, this would be purely an API change.