add ihalf.py for half indent a file