* add lexer for pointless

* lexer docstring formatting

* added link to languages doc

* update authors

* update version

* added double string

* added upval keyword

* simplify ptls example code

* rename doubleString -> multiString

This is a manual merge as we don't want to pull in the documentation
change as part of this fix for a cleaner history.

* Add lexer for Devicetree language

Signed-off-by: Maxime Chretien <maxime.chretien@bootlin.com>

* Devicetree lexer: fix random input test error

Signed-off-by: Maxime Chretien <maxime.chretien@bootlin.com>

* Devicetree lexer: fix example file reference

Signed-off-by: Maxime Chretien <maxime.chretien@bootlin.com>

* Devicetree lexer: Reduce example file size

Also add some missing language elements

Signed-off-by: Maxime Chretien <maxime.chretien@bootlin.com>

* Add yang lexer for issue pygments/pygments#1407

* fix copyright statement

* adjust examplefile for yang

* fix to avoid duplicate code in lexer

* add more testcases for yang lexer

* simplify yang lexer

* simplify default rule in yang lexer

* change example yang file

* add version to yang lexer

* Implement lexer for execline.

This commit introduces a lexer for Laurent Bercot's execline scripting language
(https://skarnet.org/software/execline) based on Pygments' existing bash lexer,
with some minor adaptations for execline's variable naming rules.

* Add versionadded note and website link to execline lexer.

* Add execline to languages.rst and example execline script

* Explicitly mark non-special characters in execline lexer as Text

* Correct execline lexer version addded

Co-authored-by: Molly Miller <sysvinit@users.noreply.github.com>

* A lexer for F*, an ML dialect for program verification

* Fix treatment of infix applications, e.g.

* Correct modifications

* Better lexing

* Added F* to the list of supported languages

* Add example file

* Bumped versionadded field

* Added link to language

Co-authored-by: Jonathan Protzenko <jonathan.protzenko@gmail.com>