debian/libcheckpath-dev.install: Distribute the static library.