Update scripts and documentation to work with mCRL2 r13039.