only install tool manpages when --enable-tools is given