dump2vcd: allow several 'empty' keyword signals

each option has to have a unique identifier, so in order
to have several 'empty' signals they have to be named
(for example) 'empty1', 'empty2' etc.
So only check for a signal name that starts with empty
to exclude them.
Add documentation