Remove Philip's old transformation tool (mCRL2 trace->SD)