Completed intro

Finished writing the introduction (leaving some blanks for specifics
about what the program does, etc), and updated some references in the
bibliography.