use ifgitdir to tell in PS1 if the directory is a git repository