indent doc string in _stan_builtins.py