[Spark] Some Linux tools

[Lutz Donnerhacke <lutz@iks-jena.de>]

1) If using the standard Spark tools, it's not that refreshing to wait on a
   somewhat slower machine for the results ... To have a look is more
   interesting.

2) Sometimes the simplifier can not solve all trivial problems. There might
   be a very simple hint to guide the simplifier to the right result. But
   in order to do so, the *.rls files has to be changed, before the simplifier
   can run.

3) In order to provide the examiner access to the necessary sources, a simple
   way is using an index file. This should be easily generated.

ftp://ftp.iks-jena.de/pub/mitarb/lutz/ada/spark/ contains two files:
  rules.pl               replacement of sparksimp working on 1) and 2)
  spark_update_index.pl  working on 3) (errornous, take with grain)

Have fun.