a small tool to convert text file indentation