Point to versioned docs in the greeting message of isympy/live shell

It might be a good idea to make maintenance releases for old versions of sympy, that will include this patch.  This could prevent bugs like #8012 to appear in future.