Add a dok-tidy target to clean up the messy HTML generated by the other dok targets