CentrED

As suggested in the forum a snapshot functionality would be useful:

• create snapshots by copying the current map and statics into a (timestamped) subdirectory of the cedserver
• restore snapshots by copying them back and refresh all subscriptions
  • maybe even evaluate which blocks did change and only refresh the subscriptions that acutally did change
  • alternatively simply disconnect all clients in the process