some useful debugging functions
Merge branch 'new-stuff' of https://github.com/diagrams/diagrams-lib into new-stuff