Merge branch 'master' of github.com:DavePearce/Whiley into devel-smt
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
WyCS: Bug fix for #400.
There was a misssing case in Solve$native.compare().  In fact, I've now
simplified to reduce the number of cases by exploiting Constant as a
common supertype to e.g. Int, Bool, Real, etc.
WyRL: Performance optimisation for probe().
Whilst invesigating #400, I noticed that there were some unnecessary
loops in the probe() function.  Essentially for cases where we didn't
need to further check a pattern, since it was guaranteed to be its
declared type.  This is now fixed, though unclear whether it's made any
useful performance improvement.
WyRL: Bug fix for #403.
A situation existed where the reachable information maintained by
IterativeRewriter could get out of sync after a minimise() operation was
made.  This is now fixed, though it could be more efficient.
WyCS: Bug fix for problem similar to that in #400
WyCS: Bug fix for #404.
However, although this bug fix works, I'm going to make it more
efficient still.
WyCS: Performance Improvement for #404.
The previous rule used to fix #404 was less than efficient, and I've now
replaced it with something a little smarter.