Flink 964

This is a cleaned-up version of the already discussed prototype.
I think we should not enable the profiling by default.
Ideally, the profiling link in the web interface is only activated if this property here is set to `true`.