BigInteger: BigInteger.php needs to be explicitely included now

As of this commit:

https://github.com/phpseclib/phpseclib/commit/b242259d17b0f56614a3fa7736b7834d1129c3e6