Adding the actual source file.

It's in, we're license-compliant.  Hooray!