Add a slightly customized version of the DHTML menu so that we can have two different kinds of menus going at the same time
remove some autosave files