Release v1.7.3

This release changes linton serve to serve directories using a redirect to
the corresponding index.html page; this fixes page-relative links in the
page.