Dump program to html with def links and hover types