changed gud ui. disable popwin to avoid gud ui bug
added git-gutter-fringe, but still use git-gutter
fixed semantic-ia-fast-jump user-include-jump; fixed misc problems