add new math functions
Merge https://github.com/DavePearce/Whiley
Merge pull request #256 from beenshi/master

new math functions: sin, cos, tan, asin, acos, atan, exp, log: via java native functions
Merge branch 'master' of github.com:DavePearce/Whiley into devel
Merge branch 'devel' of github.com:DavePearce/Whiley
Added some debugging code, since I've found a very *wierd* bug!
Minor thoughts.
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
Change to rule for inequalities.
Added another test
TCP Socket

first version, to be improved
TCP Socket

first version, to be improved
Removed debugging output.
WYCS: added another test case.
Fixed test case ;)
WYCS: trying to figure out why ListAppend generates so many disjunctions.
Trying to improve constraint inline and figure out what's going on.
Need to go over the whole thing in detail.
Thinking, pondering, thinking some more.
WYCS: working hard to figure out what's going on ...