Merge pull request #9 from warp10/debian

5.0.2-1 finalized for upload into archive
debian/copyright: fix mistake about version of GPL