Update toolchain to v4.20.0 and support doc gen#32

hansonchar wants to merge 1 commit intoPatrickMassot:masterPatrickMassot/GlimpseOfLean:masterfrom

hansonchar:toolchainhansonchar/GlimpseOfLean:toolchainCopy head branch name to clipboard