This implements a table scroller. It is passed a single argument which is the height in pixels of the scrolled region. It will replace the original table with the scrolled table.
