Added bibtex to gitignore
Redid section 4 (explaining our implementation of menus). It flows a lot better now.