WyC: begun developing the WhileyFilePrinter.  This is going to be used to "print" whiley files from their existing format into the new format.  Subsequently, it will be used for formating Whiley source, etc.