Update copyright and encoding in file headers

Addresses #167.