How to install mrpt-doc on Debian Unstable (Sid)