Display Batch of pull request links as UL
Display Batch of pull request links as UL

Currently the Batch Details page displays links to PRs included in the batch as a series of relatively unformatted links. At a glance it is hard to parse how many PRs are included and to find a specific one you are interested in.

This minor change introduces a `<ul>` tag and wraps each PR in an `<li>` tag for a more visually appealing and more semantically correct structure.

Github also updated the newlines in a lot of places in this file, sorry for the noise that creates:
> We’ve detected the file has mixed line endings. When you commit changes we will normalize them to Windows-style (CRLF).
bors-ng/bors-ng,bors-ng/bors-ng,bors-ng/bors-ng