Copyright for dolfin source package in Hirsute