WyC: deleted old WhileyFileParser and Lexer.  Next, I will replace them