Teton Gravity Research gets investment from Lonely Planet.