Microsoft's server and tools boss steps down