feat(library/standard/classical): add Peirce's law

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): disable quasie-hash consing in new threads

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): disable quasie-hash consing in new threads