Improved display of gnatcheck messages in GPS
When gnatcheck is called interactively from GPS, the generated messages are displayed as warnings, and each message starts with a "check: " prefix.