Add stickyHeaders_filteredToTop option. Fixes #570