No helpful error message in case the Coq Nix Toolbox commit cannot be found.

[Zimmi48]

Following the last force-push before merging #55, CI for hydra-battles has started failing with a very uninformative "Error: Process completed with exit code 1." It would be good if we could improve the error message in this case so that it becomes easier to fix.