ver 3.0 -> ver 3.0.x
file documenting quirks in dealing with simulink+stateflow
TRIV: Ignore test coverage results output
Rollback removal of cvxopt dependency

as occurring in commit ccea895cfb27976e86c3e98b7b0941781eb13d67.
Relevant discussion is in issue #48, concerning versions of
dependencies.
BUILD: Create gr1c version-checking routine
EXAMPLE: gr1c is optional, so JTLV is default in examples
Hide pstr() in tulip.synth

This function is trivial and only used internally for convenience
and thus should not be exported.
EXAMPLE: Remove check for `ctrl is None`

...to make the robot_planning/ examples consistent, and since
it is an error if the specification is not realizable.

Also, remove a vestigial comment about counter-examples that
pertains to tulip.interfaces.jtlv
Hide trivial formatting function, indent, in tulip.hybrid

i.e., indent has been renamed _indent to not be exported.
rename matlab folder in contrib to avoid confusion
Import MPT models into Tulip
EXAMPLE: Switch to canonical LTL syntax, both in comments and code
DOC TRIV: ...in anticipation of int actions with JTLV
DOC: Troubleshooting pydoc and virtualenv

Consider pushing these upstream (https://github.com/pypa/virtualenv).
DOC: Update code in installation guide, given move of polytope
DOC: make.bat did not survive the overhaul

It will need to be considered anew when we try to support Windows.
DOC: List URL for API as well in README
DOC: "specification" is preferred instead of "spec"
DOC: Remove defunct reference to setup.cfg in README

It concerned the setting of default nose options through setup.cfg.
Since commit c0957f5c245bedb59fcae55b82048000cc55525a (26 Jan 2014),
the preferred manner of setting defaults is to change the driver
script, run_tests.py
DOC: Elaborate docstr of jtlv.generate_JTLV_SMV