Add several tools for PhD

* Add slime
* Add latex suport

* Remove Web development support