Improved expansion of integer powers

visitors.Expander.expand_sum_to integer_power now computes
    binomial coefficients and variable powers directly.
    When run on '(A + B)^k', the algorithm is O(k).

Updated relevant tests and README.
Forgot to update README.
Modified README.