Repo sync issue fixed

Remote "github" in manifest tag adjusted to define protocol and
initial part of server path. This should not really be needed
(repo init in README needs to be confirmed).

Change-Id: I9c995d3100fca58e376c0c956c62e41e65d6a749
Category: maintenence