lib/scripts/unsymbolize
2013-07-12 wenzelm 2013-07-12 allow spaces in file names; tuned;
2011-01-07 wenzelm 2011-01-07 eliminated hard tabs;
2010-02-07 wenzelm 2010-02-07 modernized perl scripts: prefer standalone executables;