ni_nitdoc: moved JS facilities to Nitdoc.UI module

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
ni_nitdoc: moved JS quick search to Nitdoc.QuickSearch module

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
nitc: fix super-call on inherited method

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add base_super_linext2 for super-call on inherited method

Signed-off-by: Jean Privat <jean@pryen.org>
nitgg: generate filenames with less potential conflicts

Signed-off-by: Jean Privat <jean@pryen.org>
sqlite: use include <>, not include ""
ni_nitdoc: moved JS GitHub to Nitdoc.GitHub module

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
ni_nitdoc: simplified github option

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
ni_nitdoc: uniformized graphic style

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
move unescape_nit to stdlib
lib: add String::escape_more_to_c

Signed-off-by: Jean Privat <jean@pryen.org>
lib: add Collection::has_all

Signed-off-by: Jean Privat <jean@pryen.org>
nitc: remove has_all from partialorder
lib: redef Set#==

Signed-off-by: Jean Privat <jean@pryen.org>
test: add test_set.nit

Signed-off-by: Jean Privat <jean@pryen.org>
Merge remote-tracking branch 'alexandre/mmnitdoc'

Revised version of the Nitdoc GitHub plugin.

Easier configuration, only one option: --github-origin user:repo:branch
to set the upstream branch that will receive pull requests.

Also made some graphical improuvments.
Merge branch 'libs'
lib: promote implementations in NaiveCollection to Collection

There is not a strong reason to have a class NaiveCollection with default
implementations, Collection should be the class to do it.

Signed-off-by: Jean Privat <jean@pryen.org>
lib: remove the now useless class NaiveCollection

Signed-off-by: Jean Privat <jean@pryen.org>
lib: doc of Collection

Signed-off-by: Jean Privat <jean@pryen.org>