Update README.md with IntervalSystem additions, text clarifications
and build examples with cmake.