Make long navbars in readthedocs theme scroll vertically if necessary

Our docs tend to be lengthy, and the side-bar fills up. This adds vertical scrollability to long sidebars if needed.

The diff is ridiculous, so this adds

```
overflow-y: auto;
height: 100%;
```

to the `.wy-nav-side` CSS definition.