Add is_real functionality for factorial, Fix issue #8658

Factorial function don't have the is_real functionality (check or real) to check this Assumption.
factorial(x) is not known to be real when  'x' is non-negative.

With this PR, user can check if the given factorial is real or not.
Fixes #8658 

Please see s is 'not integer'. (s is negative fraction.)
For any value other than negative integer factorial returns real.
Even if it is negative fraction it returns a real.