Add -f option for the checkout

due to an issue in jrl-walkgen.