re-added reference to agda code subdir in slides/dtp2014, but as regular symlink