do some safety checking on versions when published from checkout
save the tool version to the versions file. Not sure about some semantics of this.
record the compiler version at publish. (Maybe we should not?)