dot: add option 'g'

* spot/twaalgos/dot.cc: Implement support for hidding labels.
* tests/core/readsave.test: Test it.
* bin/common_aoutput.cc: Add --help text.
* NEWS: Mention it.
23 jobs for next in 520 minutes and 31 seconds (queued for 1 second)