Ops and process improvements

[sebsebmc]

Currently I manually set the date and by hand start 4 python instances of main.py to generate the partial coverage files. Then I manually run the merge and push the new coverage file to GitHub. The process should be turned into a bash script with configurable number of processes and at least do the merge automatically at the end.

For historical purposes I would like to keep the old coverage files, so the final coverage file names should contain the date they were generated for.