*nix terminal emulator implemented in PHP+AJAX