Added jsil mode to be supported by goto_convert_functions

Author: Daiva Naudziuniene

src/goto-programs/goto_convert_functions.cpp

@@ -80,7 +80,8 @@ void goto_convert_functionst::goto_convert()
        it->second.type.id()==ID_code &&
        (it->second.mode==ID_C ||
         it->second.mode==ID_cpp ||
-        it->second.mode==ID_java))
+        it->second.mode==ID_java ||
+        it->second.mode=="jsil"))
       symbol_list.push_back(it->first);
   }