horizon setting for boost master
horizon also for dlvhex master
deactivating boost release/trunk nightly because it is broken too often
new boost versions 1.53 1.54