Demo repair and other updates
- Added a demo repair tool
- Bugfixes
- Redesigned the portal demo sum tool so its identical to the one done by Fatalis
- Added a checkbox so you can dismiss the annoying "Are you sure you want to exit?" window.
- Added a context menu to the demo verification tool
- Added #SAVE# flag check for portal games