introduce OPENGROK_DERBY_URL for selecting JavaDB instance
fixes #656
fixes #529
introduce prefix matching
fixes #641
fixes #604
cleanup spellchecker code
use Direct spellchecker to avoid another index creation
closes #637
introduce OPENGROK_WEBAPP_CONTEXT for setting the webapp context
Merge branch 'master' of github.com:vladak/OpenGrok