update all copyright notices

and sneakily remove an obsolete file