The US police officer filmed wrestling a black girl to the ground and pointing his gun at teenagers in Texas has stepped down, officials say.
