Fix; feature

* Make PreTeX program execution terminatable
* Fix running external applications from PreTeX programs
* Remove unused icons
* Add missing icons