Ideas from the Github community on how to rescue 12 children and their coach from a cave in Thailand.