Further improvements to the dep5 copyright file

Related to #7.