Merge branch 'develop' into debian/sid

diff --cc .gitignore
index b1708355c55d5164868d7049ad11a1794215fbc9,c5af0fdc32a2cbc0abfb1a2ae2db4ecb6fee3e2e..2d360bd3e8cde869da67fb371e81f5303193647a
--- 1/.gitignore
--- 2/.gitignore
+++ b/.gitignore
@@@ -51,4 -61,6 +61,7 @@@ Rules-quo
  *.exe
  *.csv
  src/*marshal*.[ch]
 +build/
+ test-driver
+ *.gir
+ *.typelib