Updated phpseclib from git + requested style changes