[Feature] Queries should list engine options

[NybyDK]

Description

When engines are implemented, queries should list the engines instead of just J-Ecdar and Reveaal. It was temporarily made like that because engines were not implemented.

Reason For Request

Because that is how it works.