message: Fixed extraction target of Tor archive; Removed debug folder from resulting archive
diff: @@ -91,7 +91,9 @@ pipeline {
  fileOperations([
  fileUnZipOperation(
  filePath: "${WORKSPACE}/Tor.zip",
  - targetLocation: "${WORKSPACE}/src/bin/"),
  + targetLocation: "${WORKSPACE}/"),
  + folderDeleteOperation(
  + folderPath: "${WORKSPACE}/src/bin/debug"),
  folderRenameOperation(
  source: "${WORKSPACE}/src/bin",
  destination: "${WORKSPACE}/src/Spectrecoin"),
  