mathlib3

feat(linear_algebra/basic): general_linear_group basics

#1064

Merged