Made the limitations on JavaDB versions explicit

Added notes on the versions of JavaDB I know to work with OpenGrok 0.12, and where to fetch the install .jar from.