Update phpseclib files to 0.3.1