stacktrace translator: fix backslashes in windows filepaths when reading infolog from external url
stacktrace translator: use better regex to parse spring version, and use it to generate better github file links