In logpuzzle.py add number_from_file_name() and write_index_file().

Commit index.html as written by write_index_file()