Added empty Lab3-module
Completed genIntList method
Completed isPermutation method
Added property testing for isPermutation
Completed permutation property testing, now the properties are tested in the correct fashion
Added CNF testing properties and executed numerous tests.
Added random FOL Generator