Rename BigInteger.js to biginteger.js