Merge branch 'nifty6_select' into 'NIFTy_6'

Introduce a slicing and a splitting operator

See merge request !461
10 jobs for NIFTy_6 in 35 minutes and 6 seconds (queued for 1 second)