Update documentation to fit with the new github repository