v1.4.0
Unique names are generated using COUNTER, where possible, to make them unique even across translation units.
The --use-colour command line argument has been added to given finer control over how colour is used
- various other bug fixes and documentation corrections.