Added a license header, and trying out $Id$ cvs stuff.
Authored by: gavare 2019-06-06
Parent: [r163]
Child: [r165]