Manpages of coinor-clp in Debian testing