[gtkwave] (7 commits) ...Merge branch 'master' into f13

[Paul Howarth]

Summary of changes:

  a138a33... Initialize branch F-13 for gtkwave (*)
  46d494f... - update to 3.3.3 - drop upstreamed dlopen linking patch -  (*)
  86cd455... update to 3.3.4 (see CHANGELOG.TXT for details) (*)
  a3f3bdc... dist-git conversion (*)
  bc237df... Merge commit 'origin/master^^^^' into f13/master (*)
  fbb4faa... Merge remote branch 'origin/master' into f13/master (*)
  ea5ccd5... Merge branch 'master' into f13

(*) This commit already existed in another branch; no separate mail sent