Added Paul Barham to coders.html