Merging, library and batch convert

• Merge design (File menu) adds another design into the open one.
• Design library (docker): browse folders of designs with thumbnails, open or merge them, and batch-convert many files to another machine format.