Make goto_cc_modet::help non-virtual

Making this member function non-virtual makes it easier to follow the
control flow because it is clear it not overridden in any sub class.
This is should be easy enough to add back should a need to override this
arise.

Author: thomasspriggs

src/goto-cc/goto_cc_mode.h

@@ -24,7 +24,7 @@ class goto_cc_modet:public messaget
   virtual int main(int argc, const char **argv);
   virtual int doit()=0;
   virtual void help_mode()=0;
-  virtual void help();
+  void help();
   virtual void usage_error();
 
   goto_cc_modet(