added Iliopoulos' snf algorithm
added general snf method
Updated header
changed cutoffs slightly
fixed infinite looping bug
slightly reorganised code
reduced number of tests for snf_kannan_bachem
Started updating documentation
made several attempted improvements to dixon based nullspace