Add an option to clean repository if checkout fails
Our nightly build sometimes fail with an error such as:
Error: Cannot checkout tor-browser-52.6.0esr-8.0-2-build2
The reason is that the working tree from the git repository is not clean, which prevents checking out an other commit.
We should add an option to rbm to do a git reset --hard
and git clean
if the checkout fails.