gitconfig: Removed log.date=short (so git subtree works). Make git log format better.