handle citations better

[jmuhlich]

Desiderata:

• per-page bibliography with only relevant citations to that page
• possibility of same paper cited on multiple pages
• global bibliography

[jmuhlich]

Using plain sphinx/rst citations for now, with just a global bibliography.