- Removing confusing github litter.
- Adding missing files, which the flakey github .gitignore file prevented from being added the first time.