Scripts refer to 'python', probably better to specify a specific python version [and update to python3?]

[cascremers]

Currently, several of the scripts and oracles refer to /usr/bin/python which doesn't exist on many modern systems, since it underspecifies the python version. Given the print syntax in the files, it looks like python2.

Hence, some of the scripts can be made to work by either

• if you have python2, replacing /usr/bin/python in a few files by /usr/bin/python2, or
• if you only have python3, replacing /usr/bin/python by /usr/bin/python3 and running a version of the 2to3 script with the -w option on the relevant files.

The files affected seem to be the *.oracle files in the main directory as well as the scripts in the tools/ directory.

[cascremers]

p.s. a slightly more portable version might be to use /usr/bin/env python3.