The International Monetary Fund agrees to lend $700m (£460m) to Kenya, which the government had asked for as a precautionary measure.