[maxima] put the autorun scripts and the documentation widget to new

tabs in a TabWidget. This reduces the size of the backend settings
widget and makes the separation of the different logics more clear. This
change will also be done for all other backends.