Adds Michael to users.py.
Adds Michael to users.py.

stephen-soltesz/operator,stephen-soltesz/operator,m-lab/operator,jheretic/operator,critzo/operator,critzo/operator,nkinkade/operator,salarcon215/operator,m-lab/operator,salarcon215/operator,jheretic/operator,nkinkade/operator