Added options to ./configure HTML and history paths