fix assignment

There has been == instead of =, so stupid..
Also change what to print to output.. I know it should be in another
commit, but...
add sv-comp-add-result.sh

This script runs sv-comp-xml-parser.py on every xml file
in given directory
configs: add year item

configs['year'] defines what year of benchmarks to use.
use years in benchmarks

The path to the benchmark is now benchmarks/year, not only benchmarks
add script for automatically adding benchmarks

Doing it by hands... pfff xD