added description how to import Rodin projects from github
location: model/B-Systerel/Event_B/rodin-projects-github.pdf
Merge branch 'master' of https://github.com/openETCS/model-evaluation