Multiple HTML index file paths

This PR just changes the code to take a vector of paths instead of a single path, and updates the default `config.clj` accordingly.