configure.sh: put the log files directly in the workspace
verify-servers.sh: fix PATH to find rspec if needed and generate files in temp directory