Update wyautl to parse cyclic terms
Update wyautl to parse cyclic terms

Previously, PrettyAutomataReader had no mechanism for parsing cyclic
terms.  This is an annoying limitation when it comes to showing off the
ability to handle cyclic terms.  Have now added the syntax "\x.T" to
represent a "mu" term.

Whiley/WhileyRewriteLanguage