Added HTML-ZIP creation in file menu. Does not work correctly in chrome because of Chrome's treatment of local files.