Massively speed up stripping bad whitespace

This is done using associative arrays in bash4, but
unfortunately since you cannot export arrays, this has
to be done by hacking on the git-filter-branch shell script.