A small tool to convert text file indentation