STYLE: change the title

Make it clear it is not a version, no duplication, of the standard.
ENH: improvements

* use Lucene Cloudant for searching
* make links in the right panel work
* change colors for the interface
* improve the procedure for numbering of the paragraphs; this is still not
    perfect, since <para>s in DocBook do not map one to one to <p>s
* index terms in addition to paragraphs