fixed path for remote logicdir
adding ssh support for lb machine
fixing remote add project
fixed remote add project
can now query using cygwin
overhauled cygwin building and running
removed admin host/port, changed name of regular port/host
fixed batfish functions wrt unix/windows-style paths
Merge branch 'unstable' of github.com:arifogel/batfish into unstable
updated README for cygwin
typo
started adding z3 node classes
added some semantics
in process of refactoring z3 generation
adding parsing support for several cisco constructs
bug fix to match new area definitions
added more parsing capability
added more parsing capability
still in process of refactoring z3 generation
finished z3 synthesis refactoring