Inference progress and results handling

[ondrej33]

This PR mainly focuses on how we track and display computation progress and results.

• Tracking of update statuses in InferenceSolver is changed, and new struct InferenceStatusReport is used.
• Progress messages are now displayed in a more readable format, with additional information.
• Result information is now displayed in a more readable format, with more details.
• Progress and result information is divided into "summary" (newly in plain text) and "details" (remains in text window).
• Front-end methods and events for analysis are refactored, and redundant ones are removed.
• The structure of sub-modules in analysis has been updated.
• There is a new option to dump BDD with satisfying parametrizations.
• BDDs and symbolic contexts are sanitized at the end of the computation.
• Slightly different messages and removed useless options (sampling, ...) for unsatisfiable sketches.

It also introduces smaller bug fixes and modifications:

• issues with app building (in release mode) are fixed
• Rust dependencies are updated
• most of the CSS for the analysis window is moved to the proper .less file (from the .ts component)
• constructors for dynamic properties are slightly refactored
• window size of the analysis is changed (the starting size is changed, and the minimum is also newly set)