Added the manual's .bib file.

Also added a section on the automated solution technique used by Firedrake.