Msgvault: Fast Gmail search from the author of Pandas