PHP Library for connecting to various devices thru SSH