update lasso documentation for version 4.20.0#7071

paoloromolini wants to merge 2 commits intoEnterpriseDB:developEnterpriseDB/docs:developfrom

paoloromolini:lasso_4.20_0paoloromolini/docs:lasso_4.20_0Copy head branch name to clipboard