Add sections to K-theory report
Add missing ktheory.bib