add NOTICE file, fixes #3