Update README.md

Refer to install scripts for mCRL2.