mCRL2ide should have the option to rewrite a data expression

[mlaveaux]

Call the rewriter from a separate thread, dealing with out of memory/being able to terminate the rewriting.

[mlaveaux]

This has been implemented