Modified intro. Fixed architecture section. Corrected various BibTeX issues. Intro now still uses Henry, but later sections don't. Also in intro: added acknowledgment that user studies plus more systems studies will be required. Else we get whiners.