best shell script editor for windows