Work in progress for the MIAO webpage.

Some projects can be found here already:
<ul>
    <li><a href="/autoconfiguration/">autoconfiguration</a></li>
    <li><a href="/cdcleval/">cdcleval</a></li>
    <li><a href="/pbsolvers/">pbsolvers</a></li>
</ul>