merge NIFTy_4

3 jobs for symbolicDifferentiation in 1 minute and 37 seconds (queued for 2 seconds)
latest