Adding a copyright header.

Fixes #5