Gravar-mail: Ten Simple Rules for Taking Advantage of Git and GitHub