Added install scripts for mcrl2.