merged history module into repo + history-related changes to keep up in sync with recent gitpylib changes