Home Travel GitHub, the ‘Facebook for programmers,’ has quietly built up an enterprise business that accounts for half its sales