[RocksJava] Range compaction

This pull requests adds manual range compaction support to Java API.