Added InvertibleMatrix predicate

Hi! The task was quiet simple, but i was curious about one. Hope i have done all right