First step of overhaul: move everything to old/ and create new empty package
created top level files and directories
updated README file and moved setup.cfg to top level
removed old setup.cfg
moved JTLV into distribution
removing JTLV from old directory
empty setup.py file, to be modified as modules are added
adding structure for robot planning examples
getting rid of unnecessary files parser and parsespec as reported in bug report #7
moving polytope package from old to tulip. added a box constructor to polytope class
Placing new proposition preserving partition class under tulip. Changes: (i) more efficient implementation of prop2part, (ii) sparse adjacency matrix, (iii) PropPreservingPartition objects no more include transitions and will not be used as the output of abstraction as the latter will be represented by transition systems.
Added preliminary working version of hybrid systems class. Created the directory abstract and moved prop2part.py there (need more experimentation with scipy sparse matrices in order to finalize prop2part). Included continuous robot examples to demonstrate the usage of new prop2part and new system and proposition declarations.
Adding the preliminary version of hybrid systems class (turns out that I forgot it in my last commit).
copied transition_system module from branch filippidis

minor adaptation to test file import tulip.transys
added transys to __init__
gitignore DS_Store, png, pdf
Begin with old spec module
TRIV: Clean comment noise; mark toSMVSpec as defunct, at least temporarily
ignore egg-info, fixed .DS_Store
+dependency networkx