Ex-Windows 8 chief agrees not to badmouth Microsoft, gets stock payout