Added obligatory license headers to files (not that there's a strong
possibility that any of this will get into Sponge).  Nonetheless.. there
it is.