use properties to store diagram's nodes, connections and buttons
updated KIELER patch
increase distance between label and edge
updated kieler patch
auxiliary lines