Various optimizations

- Some GUI optimizations
- Optimized the GUI mod name filter

Includes #483 

Everything else has been merged in #486 

Closes #432 
Closes #412 
It this safe? Are we guaranteed that module_versions.Keys is always going to be sorted?