miner: Allow to set miner specific parameters
postprocessor: Fix unique-check for bug<>commit
model: Improve Identity.getNameFragments ()
miner: Improve error handling
ui: distributions: add variable 'year'
ui: Add --db-extension
ui: distributions: fix filter selection