for interactive api proving query keys for all theorems are created

The interactive svg output creates queries of the following form that should continue to work.

```
prover=SPASS&translation=CASL2SoftFOL&timeout=1&ga_comm_min=on&ga_comm_max=on&ga_assoc_min=on&ga_assoc_max=on&ga_left_comm_min=on&ga_left_comm_max=on
```