Give Philip credit in CHANGELOG and CONTRIBUTORS

This adds IdrisDoc to these places.