use specific length for git changeset IDs
fixes #661
HistoryGuru: Skip history creation for defined directories

If a project has an .opengrok_skip_history file, skip creating
it's historycache

Fixes #652
style (line wraps), add explanatory comments
prepare for 0.12 rc1