add skolemization function#45

fblanqui wants to merge 4 commits intoDeducteam:masterDeducteam/lambdapi-stdlib:masterfrom

fblanqui:skolemfblanqui/lambdapi-stdlib:skolemCopy head branch name to clipboard