portable entrenching tool