Fix make distcheck; thanks, Peter Breitenlohner
Update .gitignore for gnulib