Convenience functions (+update of the check package to github)

Few Convenience functions for Matrix manipulation + their tests.
I have not changed the API (yet?).

I also updated the check package, that has migrated to github.
Mul takes the matrix product of a and b placing the result in the receiver.