11462 enable smatch by default

*** 11,20 ****
--- 11,22 ----
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   * GNU General Public License for more details.
   *
   * You should have received a copy of the GNU General Public License
   * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt
+  *
+  * Copyright 2019 Joyent, Inc.
   */
  
  #ifndef         SMATCH_H_
  # define        SMATCH_H_
  
*** 198,207 ****
--- 200,210 ----
  extern struct symbol *cur_func_sym;
  extern int option_debug;
  extern int local_debug;
  extern int option_info;
  extern int option_spammy;
+ extern int option_timeout;
  extern char *trace_variable;
  extern struct stree *global_states;
  int is_skipped_function(void);
  int is_silenced_function(void);