platform -> master

Hi,

I was playing around and accidentally replaced `master' with `platform',
and can't re-set it to where it should was
(b3ae01eb831d90b60c82b82f185185d116aee8a1).  But that's OK I guess:
platform is what master should be in the future.  I'm OK with that.
I'll update the build instructions and such, but it will take a little
while.  Patches against `master' gladly accepted, and I'll apply them
quickly.

If you want the old repo arrangement, check out `pkg', then do the
pull-packages as before.

Andy
-- 
http://wingolog.org/