More languages

- Add some more languages (haskell, idris, clojure/lisp, agda, (s/oca)ml, php)
- Fix:
```
(_virtualenv)ricky@t520 /tmp/lice (master)$ lice -l php
Traceback (most recent call last):
  File "/tmp/lice/_virtualenv/bin/lice", line 9, in <module>
    load_entry_point('lice==0.4', 'console_scripts', 'lice')()
  File "/tmp/lice/_virtualenv/lib/python2.7/site-packages/lice-0.4-py2.7.egg/lice/__init__.py", line 6, in main
    main()
  File "/tmp/lice/_virtualenv/lib/python2.7/site-packages/lice-0.4-py2.7.egg/lice/core.py", line 271, in main
    out = format_license(content, lang)
  File "/tmp/lice/_virtualenv/lib/python2.7/site-packages/lice-0.4-py2.7.egg/lice/core.py", line 139, in format_license
    out.write(LANG_CMT[LANGS[lang]][0] + u'\n')
KeyError: 'php'
```