Rewrite of gui.
Change some library dependencies.
Add mjsfind script.
Bump version number to 4.1.