upgrade versions of mapDB and JMH (latter with resulting source code adjustments)
update benchmark results