Use mix format for arbitrary HTML files

Maybe a single .exs file and Mix.install?