Microsoft makes another 40 layoffs in Washington, bringing the total in its home state to 3,160 since May, part of 15,000+ cuts globally.