Added ephraim as a Developer
- Created branch "corrections"
- Set up git at his home
- Gave him temporary access as developer until 1.9. (can be extended of course)
Reason: Ephraim asked if there was a way to directly correct errors he sees in the Documentation