Improve generation of 'graphviz' data.

Don't add uninformative `CollectionExpr` entries to the graph.
Don't add a node more than once.
Use a prettier label for graph nodes if available.
Update reduce.py
Merge pull request #66 from spartan-array/fix-dot

Improve generation of 'graphviz' data.