[syslinux] Alternate git repo

[Gene Cumm]

Recently there have been discussions off-list about using another repo
as the primary repository, repo.or.cz in particular. Considering the
issues until recently with git.zytor.com and the situation with
git.kernel.org along with the fact I already push to multiple repos, I
think this may be a good time to look at maintaining multiple official
repos that are pushable.

As it stands, repo.or.cz has a repo that's a mirror-mode (not
pushable) created by Sebastian Herbszt, a past contributor.  There's
also a namespace on github.com that could be used.

hpa/Matt, with your permission I'd like to work on your behalf to get
both of these prepared and up to date.

I'll start another thread about which repo(s) should be primary,
secondary and unofficial.

-- 
-Gene