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