Created coders page for GitHub Push Shart
Added Paul Barham to coders.html
Merge pull request #2 from zmon/gh-pages

Added Paul Barham to the coders list.