Help updates

• Test generation/reachability graph (@kkanters, #23 (closed))
• Other things? (@jhooman) (Closes #24 (closed))
• Allow access to interface variables from time and data constraints (@ikurtevc6k, #7 (closed))
• Closes #33 (closed)
• Closes #32 (closed)