doc: add Martin to the credits