improve gtkwave performance
This is a free continuation of #281 (closed).
- patch gtkwave not to use linear search when loading GHW data
generate a list of signals in layout for GHDL's
Task 1 drastically reduces load time, but still the amount of data is huge and gtkwave crashes on OOM. Task 2 aims to reduce the amount of data so that only reasonable amounts of memory are needed.