NevowServer : added addInfoString to allow extensions to declare some read-only strings to be displayed in settings. Also renamed addExtension in addSettings for clarity.

<?xml version='1.0' encoding='utf-8'?>
<BeremizRoot URI_location="LOCAL://">
  <TargetType/>
  <Libraries Enable_Python_Library="true"/>
</BeremizRoot>