removed redundant pdf file for Rodin projects
update requirements (review changes)
better explanation for protocol steps