We used to ship only parts of phpseclib in inc/phpseclib which made it a
little tricky to update. This replaces the library with a composer
installed version, making the rest of the library available to plugin
authors. It might fix a problem with PHP 7.1 as reported in #1682
(unconfirmed)