Implement feature to kill TeXPortal's spawned process
Add infinite loop document testinf.tex for killing test