Add printer that prints CILs internal AST representation

[michael-schwarz]

trafficstars

This can be helpful for understanding how C code is represented by Cil.

[keremc]

Hello. Please note that this AST printer is not yet complete. For example, at the moment, it fails for any expression that is not a PlusA or a Mult. I only wrote it to get a better understanding of how CIL models the following code, which contains a variably-modified type:

int main(void) {
  int n = 4;
  typedef int vla[n];
  n++;
  vla a;
  int i = sizeof(a);
}