vector_set.c can be compiled without mcrl installed, chooses first available xDD implementation.
vector_set.c can be compiled without mcrl installed,
chooses first available xDD implementation.

Also, Makefile cleanup.

lordqwerty/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,lordqwerty/ltsmin,Sybe/composition,trolando/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,buschko/ltsmin,trolando/ltsmin,buschko/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,buschko/ltsmin,thedobs/LTSmin,lordqwerty/ltsmin,Sybe/composition,Sybe/composition,Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Sybe/composition,alaarman/ltsmin,buschko/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,thedobs/LTSmin,trolando/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin