historyproxy extension added
first version of historyproxy added