Formula Editor and Formula Library improvements

Several improvements were made and the performance of the Formula Editor was improved. Features: Performance was improved in the Formula Editor (less requests are made). Entered input values will not be lost when changing the formula. Added the possibility to choose if you want to keep your already existing formulas, tables or variables with the same name when importing from the Formula Pool. We also made several improvements in the Formula Editor.