Added a forgotten file

This was was not added to the repository by accident, but it is used by the nrml_converters.
Just discovered that we are importing the dead nrmllib