Add an API for lambda expressions [blocks: #4651]#4672

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:lambda-exprttautschnig/cbmc:lambda-exprtCopy head branch name to clipboard