update copyright header
Merge branch 'feature/tbox-reasoner2' into develop