removed 2 files ('report.log_BRANCH=develop' and 'results.prof_BRANCH=develop') which were accidentally pushed to origin several days ago (in commit de2d14d). But this commit was so long ago, I don't want to go back and try and fix it now. Afraid of breaking stuff. Sorry, this will waste 300k of space in the repository.

Author: jewettaijfc