Integer overflow analysis

The latest version of RTL-Check features a new experimental analysis to detect integer overflows. It also includes a new analysis to automatically detect the size of local variables. A preview release of RDB, a shell to run and debug analysis is also available as a patch.