Added SemanticModelAnalyzer base class; exceptions thrown by analyzers are now at least reported (the actual exception is silently swallowed by Roslyn); added formula syntax analyzer