with-probe-entities added

A new macro which provides the ability to add some entities
then remove them when the form ends.
Turn reasoner onto silent.

This seems to fail for ELK at the moment which is still being noisy.
Log configuration for ELK.

ELK is noisy by default, which produces a lot of spam during tests.
So, this reconfigures log4j to make this quiet.
White space changes
New bugs added.