Update debian copyright file