Declarations of copyright

Appropriate declarations of copyright are attached to source code.

This will be the final pull request from this project before this repository is permanently deleted. A placeholder will be put up thereafter.