add GPL3 license text and update outdated debian/copyright