Display version information in web server
Add a $$version()$$ expression.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@...>
Authored by: Heinrich Schuchardt 2018-11-18
Parent: [95cb9e]
Child: [035ee0]