Update swat module-info

[felixmaechtle]

Added a version as well as program files in order to comply with benchexec.test_tool_info.

Output of benchexec.test_tool_info:

# PYTHONPATH=benchexec python3 -m benchexec.test_tool_info --read-only-dir / --hidden-dir /home --overlay-dir ./ --tool-directory bin/swat-verify-0vpofGREXj swat
Name of tool module: “swat”
Full name of tool module: “benchexec.tools.swat”
Documentation of tool module:
	Tool info module for SWAT, a dynamic symbolic execution tool for Java 17.
	SWAT is currently being developed by the Institute for IT Security at the University of Luebeck.
Name of tool: “SWAT”
Webpage: “https://www.its.uni-luebeck.de/en/institute.html”
Executable: “bin/swat-verify-0vpofGREXj/run-swat.sh”
Executable (absolute path): “/mount/bench-defs/bin/swat-verify-0vpofGREXj/run-swat.sh”
Version: “1”
Working directory: “.”
Working directory (absolute path): “/mount/bench-defs”
Program files:
	“bin/swat-verify-0vpofGREXj/knife-fuzzer”
	“bin/swat-verify-0vpofGREXj/local_z3_installation”
	“bin/swat-verify-0vpofGREXj/WitnessCreator”
	“bin/swat-verify-0vpofGREXj/run-swat.sh”
	“bin/swat-verify-0vpofGREXj/run_swat.py”
Program files (absolute paths):
	“/mount/bench-defs/bin/swat-verify-0vpofGREXj/knife-fuzzer”
	“/mount/bench-defs/bin/swat-verify-0vpofGREXj/local_z3_installation”
	“/mount/bench-defs/bin/swat-verify-0vpofGREXj/WitnessCreator”
	“/mount/bench-defs/bin/swat-verify-0vpofGREXj/run-swat.sh”
	“/mount/bench-defs/bin/swat-verify-0vpofGREXj/run_swat.py”
Minimal command line:
	“['bin/swat-verify-0vpofGREXj/run-swat.sh', 'INPUT.FILE']”
Command line with parameter:
	“['bin/swat-verify-0vpofGREXj/run-swat.sh', '-SOME_OPTION', 'INPUT.FILE']”
Command line with property file:
	“['bin/swat-verify-0vpofGREXj/run-swat.sh', 'PROPERTY.PRP', 'INPUT.FILE']”
Command line with multiple input files:
	“['bin/swat-verify-0vpofGREXj/run-swat.sh', 'INPUT1.FILE', 'INPUT2.FILE']”
Command line CPU-time limit:
	“['bin/swat-verify-0vpofGREXj/run-swat.sh', 'INPUT.FILE']”
Command line SV-Benchmarks task:
	“['bin/swat-verify-0vpofGREXj/run-swat.sh', 'PROPERTY.PRP', 'INPUT.FILE']”