Simple SSH client in PHP