Add renamings support and name collision test cases#14

nomeata merged 5 commits intomasterleanprover/lean-kernel-arena:masterfrom

joachim/name-collissionsleanprover/lean-kernel-arena:joachim/name-collissionsCopy head branch name to clipboard