Some changes to gitgutter and python