parser: accepts more optional \n

Signed-off-by: Jean Privat <jean@pryen.org>
lib: adds the posix module with privilege functions

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
lib: intro of privileges

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
examples: adds a use of the privileges module

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
contrib: drop privileges in physical_interface_for_mpd_on_rpi.nit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
parser: accepts qualified identifiers

But they not appear in the AST yet.

Signed-off-by: Jean Privat <jean@pryen.org>
parser: update generated files

Signed-off-by: Jean Privat <jean@pryen.org>
tests: adds missing .sav for privileges

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Merge remote-tracking branch 'alexis/privileges'
doc: fix some malformed documentation

Signed-off-by: Jean Privat <jean@pryen.org>
highlight: remove the modelbuilder attribute

Signed-off-by: Jean Privat <jean@pryen.org>
markdown: add a toolcontext attribute

Signed-off-by: Jean Privat <jean@pryen.org>
markdown: use hightlight to colorize nit code

Signed-off-by: Jean Privat <jean@pryen.org>
nitdoc: add style for highlighted code

Signed-off-by: Jean Privat <jean@pryen.org>
parser: add boolean operator `implies`

will bu useful in contracts. it is the term used in Eiffel and in OCL

Signed-off-by: Jean Privat <jean@pryen.org>
nitc: handle the new `implies` operator

Signed-off-by: Jean Privat <jean@pryen.org>
nitg&i:  handle new `implies` operator

Signed-off-by: Jean Privat <jean@pryen.org>
tests: add `implies` to base_isa_cast.nit

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

Signed-off-by: Jean Privat <jean@pryen.org>
doc: use operator `implies` in documentation

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