Clipto, a San Francisco-based startup that uses AI to index and search video, audio, and documents stored on users’ computers, has raised $15.