Add a get-orig-source target.
Fill in the rest of the copyright information…