Draft: check for null body pointers resulting from user deleted bodies
ThermalEngine was not protecting against user deleted bodies (avoiding calling null pointers).
See user bug report: https://answers.launchpad.net/yade/+question/694506
Edited by Janek Kozicki