Added mklinear.pl library, that linearize a term and give the variable bindings in a separated list