made literate agda and resulting tex separate
not ignoring references anymore, but rather keeping bib in the repo