The Weil Conjectures and Topos Theory