bootstrap: add option to store config after bootstrap
bootstrap: add option to store config after bootstrap



Former-commit-id: 1d5476e26c78a03dbef7643aa5cb414222965ef9
Former-commit-id: 95dd501815c0c2735c66a40aaa482bb94a0c0178 [formerly 67eef418bb4ac95748fabb3bd68fc395e00521a4] [formerly f4a19b193d99d2efbc7b605f757b65dbe55b0901 [formerly 9d86c8883c82d40b8e2a6839cbd4e7bb31b8f512]]
Former-commit-id: 92860b855d4817c471ef03db5f5d2ef286c198ad [formerly b690da4f7b4b27c4e9cb4012487031be6708cbd3]
Former-commit-id: 41c97413c1807f28cdbac5b2690bb6ef465f7a56
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild