20140706 world.rest-of-world: Gunmen kill 17 in attacks on police stations; barracks in Uganda