remove copyright headers from files

those files have been re-licensed, we once decided, that all public code
(that has been factored out of the core) will be released under a more
free license.