Finished testing lab 9.
Fixed version in lab 01 brms install, fixed typo in lab 9, added lab10.