[kernel] Add test for __builtin_types_compatible_p

tests/syntax/builtin_types_compatible.i

+/* run.config
+   OPT: -machdep gcc_x86_64 -print
+*/
+int main() {
+  return __builtin_types_compatible_p(int, int[]);
+}

tests/syntax/oracle/builtin_types_compatible.res.oracle

+[kernel] Parsing builtin_types_compatible.i (no preprocessing)
+/* Generated by Frama-C */
+int main(void)
+{
+  int __retres;
+  __retres = 0;
+  return __retres;
+}
+
+