Merge branch 'develop' into debian/buster

diff --cc .gitignore
index 52ad7a0d3cc4b9c616f81afd4e77da82b75967d5,4bf3eba9cb5fb0fe49e3941eba30c2c840d08a3a..08308c5c96ef10802cec45d2f44af3dddbe9d404
--- 1/.gitignore
--- 2/.gitignore
+++ b/.gitignore
@@@ -57,5 -57,6 +57,8 @@@ tests/metastor
  *~
  *.gir
  *.typelib
- .pc
 +build
 -*.csv
++.pc
+ tools/*.exe
+ tools/gdaex_exp_csv
++*.csv