Remove the other instance of hunchentoot.gif...

And mention about that in the debian/copyright file.