Fix MSVC build parameters for MSys

Invocations of MSVC cl compiler were using "/" as the option
switch rather than "-". This isn't needed - cl understands
"-" as well as "/". Not only is it not needed, but it is
not wanted because when invoking cl through the MSys bash
shell MSys will see the "/" and attempt to treat what
follows as a Unix style path that it will "kindly"
translate to a Windows style path before calling cl.

There are more instances of this issue in Perl scripts, but this
is enough to get Cil built, and I don't speak Perl.
Fix recursive variable in ocaml Makefile

Thanks to Jan Smets for the report.
Also use CAMLDIR systematically.
Fix caller list in EasyCallGraph

Thanks to TheAnh Do for the report.
Escape TeX strings in Makefile (bis)
Use actual prime numbers in function checksum

119 = 17 * 7
Make breakString tail recursive

This helps when breaking very long strings, e.g. in GText.
Thanks to Christian Collberg for the report.
Escape Tex strings in Makefile (ter)

Finally, use printf instead of echo.  This should work everywhere.
Add a vinit field to varinfo

This field is used to store the initializer of static and global variables.
Use local initalizers for static variables

Disabled by default, controled by Cil.makeStaticGlobal.
Constant qualifier is preserved for static variables.
Add --makeStaticGlobal flag

Convert local static variables into global variables.
Enabled by default for backward compatibility.
Test for const initializer with side-effect
Merge branch 'make-static-global' into develop
Add ComputedGoto and AddrOfLabel constructors
Handle computed goto in extensions

Incomplete support in Cfg, Predabst and Ptranal.  Partial also broken because it
uses Cfg.
Add option --useComputedGoto

Command-line option only, not implemented yet.
Implement --useComputedGoto
Do not remove labels when their address is taken
Support for computed goto in Cfg
Support computed goto in computeCFGInfo
Add regression test for --useComputedGoto