Israel-based company using optimization techniques to make web browsing faster.