Modify	report/thesis.tex: Added the part about DiSL.