Add selection of docker image account to facilitate testing on the fork accounts.
Selection of vampire timeout (15 min for usual run and 3hr for scheduled weekly run)
Setup sigmakee locally (previous setup used to test sumo baked into image instead of freshly checked out)
Upload of vampire run log so it can be checked later.
Flipping of the exit status of vampire/grep (Vampire "success" - found refutation is actually and error, same for grep - matching expression reported as success but it's actually found refutation.
Other changes