This is a simple issue to add the `Matern72Kernel` in the same spirit as `Matern32Kernel` and `Matern52Kernel`.