Update Theia to 1.0
Update Thiea to 1.0, described a bit on : https://dev.to/svenefftinge/theia-1-0-finally-a-good-browser-ide-3ok0
Add by default some extensions for python and buildout. Also request a frontend so that we can access over IPv4
Edited by Jérome Perrin