Bump mcrl2 revision to version that supports alternative markings.