20150806 world.middle-east: IS kills captured judge in Libya