GPS: Support for SPARKClean
Support for the new SPARK tool SPARKClean has been added in GPS, to provide menus to clean a project of SPARK artifacts.