Adding some stuff about atmospheric neutrino experiments to prospectus