Update docs/contributors.txt

List Michael by his full name.
Merge pull request #155 from markotibold/dev

Update docs/contributors.txt