Sheaves and functions modulo p : lectures on the Woods Hole trace formula / Lenny Tealman