Remove ad-hoc copyright notice, add formal copyright statement and GPL