.gitconfig: change my default user name to 'Jean-Baptiste Barth'
.gitconfig: tab to spaces in .gitconfig
.gitconfig: add github username as a git parameter (some projects use it, for instance docker)