Merge branch 'develop'
Merge branch 'develop'
version 1.3: properties can have multiple values
Removed arc out and arc in, now arcs does not have a direction
added erase property methods to node
added getArc method to GraphDB
Merge branch 'master' into develop