Replaced WebLab with a submodule.