Scroll handling rewritten

I got rid of the paging in the scrollview and rewrote a little the scrollview delegate methods for handling the scroll behaviour. This fixes many issues when the option view is on the left side (unwanted revealing during scrolling, discrepancy in offset  necessary to trigger revealing between left and right sided buttons etc.)