Copyright headers for most source files