Persist history at exit and load on start, so that server restarts don't lose all pushed events