[ui] Expose the "Record Default filename" of the interpreter to the user

There is no reason why it should appear in the properties panel. The goal of this change is mostly to have access to the function through python console.

@nicolas.cadart can you have a look please ?

approved this merge request

Is that the only thing needed to expose a method to the python wrapping ?! That's clean.

merged

mentioned in commit a9bc1cec