Added Mantra as a supported renderer (to the respective menu entries and renderers.xml - atm duplicated in data/mantra and data/rib). Added some comments regarding RenderDotC status as well. The VEX tags, vex_include and vex_code are supported already, so initial tests and block+headers porting work can start without "unknown renderer" messages.