Update goprr.tex

Including assessment #1
Merge pull request #48 from AlexandreGinisty/patch-1

Update goprr.tex
Incorporation of goppr assessment 1
Updated DoW
Merge branch 'master' of github.com:openETCS/toolchain
[O7.1.3_O7.1.7_O7.1.9] Update Why3 description
Merge branch 'master' of github.com:openETCS/toolchain into RC_Evaluation_Platform_against_WP2_1