Generated BAT's names are capitalized but not all-uppercase.

Hence, the names are Kr2014, Ecai2014, and Kitchen.
That change is mostly for the last one.
Fixed: Setups::PropagateBeliefs() built belief setups incorrectly.

The mistake was to copy the last setup at a time the last setup was
already filled with beliefs. Instead, the copied setup should have been
clean.

Also added unit tests for beliefs.
Removed old test code.
Removed old ESBL code.