Remove whitespace from file name

[eduherminio]

Remove whitespace from file name, which prevents git cloning from Windows.

Original error:

error: invalid path 'resources/tapered_evaluation.txt '
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed.
You can inspect what was checked out with 'git status'
and retry with 'git restore --source=HEAD :/'