HistoryproxyExtension: several use cases added

This extension now allows for querying changed resources at specific days or even time intervals.