* [GV_GIF,EXT] Added several options for setting vertex, edges, and graph properties.