If you make an online reservation at a restaurant these days, chances are you’re using OpenTable.com Inc. The company—with 13,000…