Updating the new solver url in planimation plugins

[RPPEN]

In the plugins.js, the previous solver url does not work anymore, so that the planimation plugin does not work in the website PDDL Editor. For fixing this problem, our team replaces the solver url, and it can work again.

[nirlipo]

I think this issue belongs to this repo, https://github.com/planimation/plugins right?

We need to push changes to the plugin, instead of the backend. Is there any code that needs to be changed in the backend repo?

Steps:

• You can follow the same procedure to push code into the plugin repo as the one described for the backend.

• Once we have the code in the plugins repo, we update the https://github.com/planimation/plugin-deployment-fork and then,

• we do a pull request to https://github.com/AI-Planning/planimation as this is where the plugin for the online editor is hosted.