This allows using the tool for one-off reindentations without needing the check_arm_indent.sh script (e.g. for use outside of ffmpeg), without having to pipe the file through stdin/stdout.