Add an --input option so that the input doesn't have to be generated each
time but can (manually) be stored in a file and that then given to the script
when debugging it interactively.

Change-Id: Icdb6abc828c6d16e29a99494d00eb0c8435f2826