Correct comments a bit.
Speed up skiplist removal if many keys are equal.
Add a test suite.

This is to test the performance of deletion with a skip-list index
and many documents with the same value in the attribute indexed
by the skip-list.
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel