Added -tikz option. This is for generating dot files that are amenable to being processed by TikZ.
Merge branch 'master' of https://github.com/herd/herdtools