.why3.conf: add Why3 config file
.quiltrc-dpkg: improve dquilt alias