making fixpoint.native silent unless -v
done fiddling with fixpoint verbosity
overload checkSorted
misc tweaks to reduce output
exposing remainderP
adding doc to unknown error
misc edits to ticker
extension names should have the dot
Merge pull request #20 from ucsd-progsys/checkmeasure

overload checkSorted
Exposing SymConst, SubC, and WfC

- Also added some operations on environments.
Nanojs adds symconsts to literals.

- They should not be added in fixpoint, cause we need to unify all sorts to int first
always move z3 into place so Setup.hs doesn't fail
add z3mem flag to cabal file.

`cabal install -fz3mem` will link against z3.
update cabal file in preparation for hackage release
remove dependence on LIQUIDHS env variable
Update liquid-fixpoint.cabal authors
Merge pull request #21 from panagosg7/symconst

Symconst: adding symconsts to the list of literals. Required to properly support string constants.