The police officer whose video-recorded actions at a Texas pool party have drawn national attention has resigned from the police force.