improve gtkwave performance
This is a free continuation of #281 (closed).
Tasks
- patch gtkwave not to use linear search when loading GHW data
-
generate a list of signals in layout for GHDL's
--read-wave-opt
Rationale
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.