Added lecture for Leibniz and Discrete II, added SoftMeth recitation, and fixed CompArch stuff.