Fix the webconsole PROBCORE-395
PROBCORE-318 Improved evaluation mechanism. The Explore State Command now uses the ProB 2.0 formulas instead of checking state commands. All subscribed formulas are automatically evaluated and cached directly.