introduce OPENGROK_DERBY_URL for selecting JavaDB instance
fixes #656
fixes #529