Added header to github request, as they changed their rules.
Made using redis configurable in the config file.
Made using web sockets configurable as well.