* New upstream release
* Removed patches:
  - system-{pycaml,menhir,ocamlsexp}.diff - upstream build system can handle
    this
  - documentation-paths.diff - the manpage is generated using correct paths
  - documentation-build.diff - build documentation, authors clarified that
    it does not contain Front/Back Covers and Invariant Sections
* New patches:
  - syslibs-depend.diff - fix depend targets when system libraries are used
* Override clean directories in debian/rules: upstream makefile tries to
  clean directories removed in Debian package
* Build and install pdf docs
  - build-depend on texlive-latex-base, texlive-latex-recommended,
    texlive-latex-extra, texlive-fonts-recommended, texlive-fonts-extra
* Do not compress .pdf .cocci and .c files
* Add information about manual license (GFDL-1.3+) into debian/copyright
* Standards-Version 3.9.0 — no changes required
* Install the bash completion file