How to install libghc-js-jquery-doc on Debian 9 (Stretch)