Hans Scholl (astronomer)