Add more names to debian/copyright