michael myers from halloween movie in the matrix