DiVinE 2 can be built unconditionally (remove configure test)
DiVinE 2 can be built unconditionally (remove configure test)

TODO:
After makefile refactoring, remove HAVE_DVE2 conditional.

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