Add NOTICE file, make clear files that were ported from the stdlib