miniview: scroll with mouse wheel
add tools/banner.sh to help debug miniview
miniview: also use PgUp/Down to scroll the miniview
wip