Delete Git-GitHub-howto.tex