Include the title of the pull request in the terminal output, and make it prominent

[asmeurer]

Right now, sympy-bot prints something like

> Pull request info:
>     Author: "Saptarshi Mandal" <[email protected]>
>     Repository: https://github.com/saptman/sympy
>     Branch: logic

I It would be nice if it also printed the title of the pull request, which in this case would be "Logic: Implemented ITE (if then else) connective + negational normal form," and if that were made prominent. The reason is that it's easy to type the wrong number into the terminal, and this would help to mitigate mistakes. The prominence could involve the use of colors (which is something that sympy-bot could benefit from in general).