Added files for week3
Updated some of permutation tests
Added first parts of assignment; Permutations and Random
Fixed issue with getRandomForm getting two zeroes as parameters
Implemented randomized CNF tests
First attempt for FOL formula generator
Docs
Randomize terms in atoms
Merge branch 'martijn'