Merge pull request #42 from ucsd-progsys/emptyuif

Emptyuif
Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint
add fixpoint.native-i686-w64-mingw32, in theory a win32-binary of fixpoint so we dont have to worry about building it on windows
add fixpoint.native-x86_64-darwin
Merge branch 'master' of github.com:ucsd-progsys/liquid-fixpoint
add fixpoint.native-x86_64-linux
add fixpoint.native-i386-linux
argh.. i give up, we can compile fixpoint for windows, but it can't seem
to find z3.exe even if i pass an absolute path..
OK, fixpoint.native works on windows

**as long as the solver binary is in the SAME directory as fixpoint**
remove dependence on filemanip.

wasn't working properly on windows and we don't really need it
update .cabal
update readme
update license
update CHANGES
update .cabal
update .cabal to prevent weird compilation error
export zero
type unification instead of equality