update versions to 0.1.14 for new release

update versions to 0.1.13 for new release

update versions to 0.1.12 for new release

update versions to 0.1.11 for new release

update versions to 0.1.10 for new release

update versions to 0.1.9 for new release

update versions to 0.1.8 for new release

- Back to IcfgLocations

- preference manager creates now preference groups for each initial state from config.

final version for SV-COMP 2017

bugfix: check only for integers if signed