The Dallas police department used a bomb robot to take out last night’s sniper