GitHub launches an official mobile app