klee snapshots repo