Microsoft has released its Linux distribution