Storing Data Explorer settings

Introduces a small dialog storing settings for the Data Explorer.
Specifically, these are currently only the paths to GMSH and the file converter tool, but the dialog can be extended in the future if necessary.

System calls to these tools have also been adapted to look at the specified paths. This means that the GMSH path has no longer be known systemwide (Tested that for both tools on my machine and it works).