Fix git bashprompt for branches with dots.
Beautify the man pages.

Thanks to Will Price (https://github.com/willprice/homesick-bash/commit/0ee35fc69209b57bab9387023b79f514404204ae).