Update docs/contributors.txt

List Michael by his full name.