Update the license header for every source file, as well as the documentation.

Fixes #1209