Generate ops.txt from the minecraft.ops option