JDrafting v0.1.12

• Added intersection, union, difference, symmetric difference tools
• Improved color dialogs
• Undo/Redo history
• Fixed bug when copying text-box and some small bugs
• Some minor fixes
• Some refactorizations