executor.sh: bash script for execution on server, clears bad files, moves good files to separate folder. Additionally: a few bug fixes