binomial_logit distribution

[bob-carpenter]

We should add a binomial_logit along the lines of bernoulli_logit.

[randommm]

I think this one should be closed since it's already in Stan.

[bob-carpenter]

Thanks for pointing this out. I always love hitting to-do items that are already done. Closing.