Draw2D 0.7.12 released

Feature added: Adding new method Port.getCoronaWidth() and Port.setCoronaWidth(/*:int*/ value). This improved the create connection behaviour. Create a connection via drag&drop to see the changes.