UI improvements

[albertocasagrande]

Problem description

As commit e60d3d00f6c18352c51fc3943565155a27eef843, the user interface is not really clear and functional:

• "Number of iterations" (reachability) and "Max parameter splits" (synthesis) options are placed in the same block;
• execution (for both reachability and synthesis), stop (which is unnecessary when sapo is not computing), temporal logics (only for synthesis), and plots are all in the position and take useful vertical space;
• "Variable declarations" block wastes a lot of space;
• dynamics are not located near their variables. Thus, the user must move from "variable declarations" to "system of equations" for each new variable;
• parameter names can be deduced from dynamics. Thus, the "Parameter declaration" block wastes space;
• The "Modify Approximation Method Matrix" block may appear to be a little bit mysterious to users;
• The "L-matrix" modal is not usable when the model involves a large number of variables.

Proposal

My suggestion is to wait for issue dreossi/sapo#6 to be closed and re-write the user interface as depicted in the following image

Moreover, I recommend using the material design components provided by mui.

[albertocasagrande]

Commit e3b6b17f3683d0cf015c93e9fbad971e34e08884 goes in the right direction, but some changes are still needed in the Parameter block