Added copyright headers for kr2rml code