Documentation: rename git.texi to user-manual.texi