File Release Notes and Changelog

More "presentable" release.

- Added examples - Documented code - Executable can now take files as input - Added an executable to instantiate a schema for a given value of the parameter (next step: output in DIMACS format)