thesis: added a theorem/definition environment + some more text
thesis: more about discrete geodesics
src: added computation of laplace eigenfunctions