Add simple utility functions for rewriting #13
Add simple utility functions for rewriting #13

Added some simple utility functions which abstract away the rewriter
API.  These are really temporary for now as I continue to figure out the
rewriter API properly.  They have now been plugged into the Whiley
Compiler and are working though.

Whiley/WhileyRewriteLanguage