python script for some post-processing of svn output