Added new languages supported by Kattis.

Added the new languages mentioned in the news on the Kattis site:

* Prolog
* PHP
* JavaScript
* Haskell