Optionally use escodegen to generate labels for dot file

Just for convenience