webdot cgi for rendering graphs as images to web pages from URLs that define graphs using the 'DOT' language