Massive improvement to Insert Gistpen dialog

* Big style improvement
* Add search functionality
Change text to an icon
Generate height of pop-up dynamically
Move language selection up
Rewrite build scripts