made links to agda src dirs in the thesis agda-tex subdir
almost there on background, focusing on Lava, ForSyDe etc, now