Added really basic REST server#1570

Draft

propensive wants to merge 14 commits intomainfrom

Commits on Sep 29, 2020

Added really basic REST server
propensive
committed

Commits on Oct 5, 2020

Improved REST server
propensive
committed

Commits on Oct 10, 2020

More reliable HTTP server
propensive
committed

Commits on Oct 11, 2020

Commits on Oct 12, 2020

Commits on Dec 1, 2020

Merge branch 'main' into issue/1569
propensive
committed

Commits on Dec 4, 2020