added toWhitespace.py for ease of debugging
added make NORM=1 option to use normal nonwhitespace shell input