Add NTL format converter. Bug fixes in NTL parser.