introduce OPENGROK_DERBY_URL for selecting JavaDB instance
fixes #656
fixes #529
introduce prefix matching
fixes #641
fixes #604