Database server upgraded

The grid database server has been updated with PostgreSQL 9.6.5 which is mainly a security update. For the changes, check the release notes

In addition smaller improvements have been applied to the simulators.

hypergrid address: hop://grid.xmir.org:8002                                             xmir © 2014-2017