This fixes two issues:
hxtorch
's dependency on PyTorch (it's an extension to PyTorch, so it needs headers, and also links against PyTorch).(→ technically pynn-brainscales does not support a rebuild, but to keep our versions aligned, this also updates the version name for pynn-brainscales to rc6.)