issue #69: names of dot nodes now use full uris (after dotification) + issue #70: support for conversion to pdf and dot