Assessor2 for GNATprove / SPARK 2014 and GOPRR

added assessment as assessor 2 for the GNATprove and the GOPRR approach