for interactive api proving query keys for all theorems are created
Merge pull request #1334 from spechub/web-api-proving

for interactive api proving query keys for all theorems are created