update documentation
Merge branch 'dev' of github.com:IDSCETHZurich/rce into dev