Add integration with GitHub. For the moment we can log time only on pull requests. It will be nice to be able to log time also on tasks.