12724 update smatch to 0.6.1-rc1-il-5

*** 50,57 ****
  
  # delete duplicate entrees and speed things up
  echo "delete from function_ptr where rowid not in (select min(rowid) from function_ptr group by file, function, ptr, searchable);" | sqlite3 $db_file
  
  ${bin_dir}/apply_return_fixes.sh -p=${PROJ} $db_file
! ${bin_dir}/insert_manual_states.pl ${PROJ} $db_file
  
  mv $db_file smatch_db.sqlite
--- 50,59 ----
  
  # delete duplicate entrees and speed things up
  echo "delete from function_ptr where rowid not in (select min(rowid) from function_ptr group by file, function, ptr, searchable);" | sqlite3 $db_file
  
  ${bin_dir}/apply_return_fixes.sh -p=${PROJ} $db_file
! if [ "$PROJ" != "" ] ; then
!     ${bin_dir}/insert_manual_states.pl ${PROJ} $db_file
! fi
  
  mv $db_file smatch_db.sqlite