Add the command lambdapi depend to compute dependencies quickly#1212

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

fblanqui:depfblanqui/lambdapi:depCopy head branch name to clipboard