* New upstream release.
* debian/patches/01-libtoolise.dpatch: new programmatic patch script,
  original version by Heinz Wiesinger <pprkut@liwjatan.at>
* debian/control: updated for new prover9-doc
* debian/libladr4.symbols: updated
* debian/clausefilter.1, debian/clausetester.1, debian/control,
  debian/copyright, debian/interpfilter.1, debian/interpformat.1,
  debian/isofilter.1, debian/ladr4-apps.1,
  debian/ladr4-apps.README.Debian, debian/mace4.1,
  debian/prooftrans.1, debian/prover9.1, debian/rewriter.1: changed
  maintainer email address