Various optimizations

- Some GUI optimizations
- Optimized the GUI mod name filter

Includes #483 

Everything else has been merged in #486 

Closes #432 
Closes #412 
Oh! It's a SortedDictionary now. So yes. :)