Probably final commit of proposal.tex

Added SVG images, and some changes/updates to bibliography. Still need to add
svg -> png rule to Makefile.

Signed-off-by: Mike McClurg <michael.mcclurg@kellogg.ox.ac.uk>