Preparing for Planet2 packaging.
Moving files inside the mred-designer directory
Prepare for Planet2. Renaming files.
Replace old mreddesigner-properties-widget.rkt by the subset edit-list.rkt
Changing dates