Add some functions

It can save html files for libraries, to be continued.