`is_converged()` for brms/stan models

[bwiernik]

We should check for the Stan sampling warnings and report them in is_converged():

• Divergent transitions after warmup
• Exceptions thrown when computing target density and its gradient (Hamiltonian proposal rejected)
• R-hat
• Bulk- and Tail-ESS
• Maximum treedepth
• BFMI low