SSH server written in PHP