gitignore added. get-short-path for agnoster theme added. key bindings for history substring search added.