Update Debian infrastructure.
Merge branch 'stable'

Conflicts:
	debian/changelog
	debian/control