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

fixes #8012 

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.