What Git is and how to use it