Add some autotools-generated files to diff-ignore via debian/source/options

This supports building from git and from tar balls as offered for
download by GitHub.