Killed in attack by gunman: France pays tribute to prison officers, attackers still at large