[CIL users] C99 _Bool support

[Kristis M. <kri...@as...>]

Hello,

I implemented a patch to CIL that supports the C99 _Bool datatype. The
patch seems to work with the following trivial test case.

+++++++++++++++++++++++++++++++++++++++++++
#include <stdio.h>

int main() {
  _Bool a;

  a = 1;

  printf("a=%d\n", a);
  return 0;
}
+++++++++++++++++++++++++++++++++++++++

Could someone review the patch and apply it to the mainline ? I would be
happy to help with further improving this patch with the aim of getting
it merged.

Thanks,
Kristis