add papp from Fixpoint
README: remove whitespace, fix hsenv command to be compatible with v. 0.4.
Merge pull request #57 from leepike/master

README fix/cleanup.
Merge pull request #56 from ucsd-progsys/pApp

add refinement application from Fixpoint