Documentation additions

Minor re-factorings

Added in recursive tuple simplification (to remove the need for
unnecessary generated constants)
Added in an assertion to link the subset, subseteq and length functions
Added in an assertion to define equality between tuples
Fixed up solver error if response is UNKNOWN
Merge branch 'master' into devel-smt

Conflicts:
	modules/wycs/src/wycs/solver/smt/Block.java
	modules/wycs/src/wycs/solver/smt/Smt2File.java
	modules/wycs/src/wycs/solver/smt/Sort.java
	modules/wycs/src/wycs/solver/smt/Stmt.java
	modules/wycs/src/wycs/transforms/SmtVerificationCheck.java
Changed language source compatability to Java 1.6
Merge branch 'master' into devel-smt
Merge branch 'master' into devel-smt
Minor updates
Merge branch 'master' into devel-smt
Minor updates and documentation additions
Merge branch 'master' into devel-smt
Minor update to settings
Merge pull request #402 from hjwylde/devel-smt

Devel smt