Update Debian copyright file and add GPL-3+ with OpenSSL exception