Matrix: skolem_clear added
Matrix: comments removed
Matrix: code moved
Matrix: skolem_apply added
Matrix: skolem_apply_list added
leancop.sh: Adapt to use swipl on mac
owl2_clausal.pl created and some added some tests