fix(frontends/lean/server): std::unordered_map::insert does replace
existing entry, fixes #188
fix(frontends/lean/server): std::unordered_map::insert does replace existing entry, fixes #188