[xtermjs upgraded and term area size bug fixed]
- no more ugly line gap (== no out-of-boundary texts)
- width/height self adjustment (== bigger workspace)
- better term font (Ubuntu Mono)
- cloud9 term themed