now using a dwopdown for the Coqtop parameter input (in IDE settings), so that previous values are stored and it becomes easy to switch