Paul Flaherty, AltaVista online search engine creator, dies at 42