Final version

Final version of the repo with everything.  I had lots of trouble with
the last git push.  I hope this one goes better.