add a bunch of license headers

Now, all the .py files and .html templates have copyright/license headers.