breadcrumb links for local downloads

We create HTML like

```html
<div class="breadcrumbs breadcrumbs-bottom">/ <a href='../'>ciao4.17</a> / <a href='.'>data_products_guide</a> / pha.html</div>
```

and the `href` attributes need to be more cleverer.