docs: moved lab folder to a new repo

[glimchb]

used this doc to keep history https://docs.github.com/en/get-started/using-git/splitting-a-subfolder-out-into-a-new-repository

Signed-off-by: Boris Glimcher Boris.Glimcher@emc.com