Miehistö is a checkpoint manager for application servers - miehisto/miehisto