Added RuleAnalyzer.  Changed some printing options and updated the readme