Matex v1.0

First alpha version of matex
Dependencies cleared
indenting environment improved
induction demonstrtion way added
xypic deprecated
v0.1 available