cbmc → xmllang Relation

File in src/cbmc	Includes file in src/xmllang
cbmc_parse_options.h	xml_interface.h