build, debian/: Add a `configure' script to make things easier.