fixes bug 864392 - middleware for skiplist, r=AdrianGaudebert
fixes bug 864394 - create user interface for manipulating skip lists, r=AdrianGaudebert