Manpages of coinor-cbc in Debian stretch