Added option to use Aachen provided trees for synchronization
pulling changes

Merge branch 'master' of https://github.com/MarcoAndreaBuchmann/CBAF