debian-devel-deb.txt: add libssl-dev