20150512 world.rest-of-world: Separatists attack Mali army patrol; government says 9 killed