removed some cout lines that were used for debugging
Exporting as csv now also takes into account permutation
fixed unit tests for external format
added permutation stuff for stdlib relation
merge