Many aspects cleaned up and fine-tuned in ral-owl-analyser and an explicit precompute mechanism has been added. Furthermore, performance testing has been moved out from ral-owl-analyser and a new implementation has been made that provides a pseudo-internal dsl to define performance tests.