v2.5.0

Additions
* New context function to get a number from a symbol
* New context function to replace strings
* Saved scroll position
* Cache for collapse containers overwritten when using update
* Default UI for debugging

Fixed clingo-explaid version to fix bug