Added a test for out-of-bounds character array access.
Factorize type name equality checks in CheckIO.
Merge pull request #324 from simartin/char_array_overrun_test

Added a test for out-of-bounds character array access.
Merge pull request #325 from simartin/checkio_types_match_factorize

Factorize type name equality checks in CheckIO