software/theia: update python packages and install pylint

Eventhough we no longer use theia's python extension, these packages are
helpful for mspython extension.

software/theia/buildout.hash.cfg

@@ -23,4 +23,4 @@ md5sum = c2523a5c832f617c374ee621d50d9e52
 
 [python-language-server-requirements.txt]
 filename = python-language-server-requirements.txt
-md5sum = 6c940b7015f45de6e679fc44807e5220
+md5sum = 4267cd9a5d22ab46362083ede26523d0

software/theia/python-language-server-requirements.txt

 appdirs==1.4.3
+astroid==2.3.3
 attrs==18.2.0
 black==18.9b0
 Click==7.0
 future==0.17.1
-isort==4.3.4
+isort==4.3.21
 jedi==0.13.2
+lazy-object-proxy==1.4.3
 mccabe==0.6.1
-mypy==0.660
-mypy-extensions==0.4.1
+mypy==0.770
+mypy-extensions==0.4.3
 parso==0.3.2
 pluggy==0.8.1
 pydocstyle==3.0.0
 pyflakes==2.1.0
+pylint==2.4.4
 python-jsonrpc-server==0.1.2
 -e git+https://github.com/palantir/python-language-server@50d03d5931d564e9908292ccfa21dd629ee817ba#egg=python_language_server
 rope==0.11.0
 six==1.12.0
 snowballstemmer==1.2.1
 toml==0.10.0
-typed-ast==1.2.0
-yapf==0.28.0
+typed-ast==1.4.1
+typing-extensions==3.7.4.2
+wrapt==1.11.2
+yapf==0.29.0