Add is_specialization_of type trait

[dhollman]

Adding useful type trait that can be leveraged a number of places in SFINAE.

It would also in principle allow to replace code like

kokkos/core/src/Kokkos_View.hpp

Lines 568 to 575 in caeeeda

	template <class>
	struct is_view : public std::false_type {};
	template <class D, class... P>
	struct is_view<View<D, P...>> : public std::true_type {};
	template <class D, class... P>
	struct is_view<const View<D, P...>> : public std::true_type {};

by

template <class T>
struct is_view : Impl::is_specialization_of<std::remove_cv_t<T>, View>::type {};

One limitation is it won't compile if you pass a template such as Kokkos::Array as its second argument or any template that has a non-type template parameter.

[crtrott]

This link seems to have the arguments the other way around:
https://stackoverflow.com/questions/12919310/c-detect-templated-class
? What is the right way and why?

NVM: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2098r0.pdf has it the same way as you so that is good.

[dalg24]

You must add compile-time unit test.

Test was added