Give Philip credit in CHANGELOG and CONTRIBUTORS

This adds IdrisDoc to these places.
Merge pull request #1090 from david-christiansen/rasmussen-credit

Give Philip credit in CHANGELOG and CONTRIBUTORS