introduce OPENGROK_DERBY_URL for selecting JavaDB instance

fixes #656