Update Server.hs

better checkpoint creation. Reduce memory usage. Archiving will reduce disk usage duplication, but we still need to find a way to limit DB size.