fix(frontends/lean/server): must save the starting environment/options when reprocessing file, fixes #209
fix(frontends/lean/server): must save the starting environment/options when reprocessing file, fixes #209