Change JKind API to depend on JFace user library rather than exlicit jars
Update README.md
Clean up resource handling
Simplify spreadsheet launching
Change resource handling to try-with-resources
Add smoothing option to api
Update documentation
Handle subnode properties, report inlined variable values
Factored out BigFraction from RealValue
Add example which requires subnode properties
Add separate icon for vacuous results
Generalize static checks on properties to apply to all nodes (not just main node)
Allow node calls that return nothing
Small fix-ups
blame updates
Merge branch 'master' of https://github.com/agacek/jkind

Conflicts:
	jkind-api/.classpath