Updated OpenGrok to 0.12 from upstream
Updated debian files and removed old files