How to install eclipse-titan on Debian 9 (Stretch)