Filled in LICENSE.txt and put a little license-header in most source files.